Biblio
Export 1 results:
Filters: Автор is D.A. Basin [Clear All Filters]
"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.