AVISPA is a push-button tool for the automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive formal language for specifying protocols and their security properties, and integrates different back-ends that implement a variety of state-of-the-art automatic analysis techniques. To the best of our knowledge, no other tool exhibits the same level of scope and robustness while enjoying the same performance and scalability. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, J., … Vigneron, L. (2005). The AVISPA tool for the automated validation of internet security protocols and applications. In Lecture Notes in Computer Science (Vol. 3576, pp. 281–285). Springer Verlag. https://doi.org/10.1007/11513988_27
Mendeley helps you to discover research relevant for your work.