Biblio

Export 1 results:
Filters: Author is D.A. Basin  [Clear All Filters]
2005
Armando, Alessandro, D.A. Basin, and Y. Boichut. "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.