Biblio
Export 1 results:
Filters: Author 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.
"