Biblio

Export 1 results:
Filters: Автор is D.A. Basin  [Clear All Filters]
2005
"The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications." In International Conference on Computer Aided Verification CAV 2005. Heidelberg: Springer, 2005.