DMCA
Automated Security Protocol Analysis with the AVISPA Tool (2006)
| Venue: | In Proceedings of MFPS’05 |
| Citations: | 28 - 5 self |
BibTeX
@INPROCEEDINGS{Viganò06automatedsecurity,
author = {Luca Viganò},
title = {Automated Security Protocol Analysis with the AVISPA Tool},
booktitle = {In Proceedings of MFPS’05},
year = {2006},
pages = {2006}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security 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 automatic protocol analysis techniques. Experimental results, carried out on a large library of Internet security protocols, indicate that the AVISPA Tool is a state-of-the-art tool for Internet security protocol analysis as, to our knowledge, no other tool exhibits the same level of scope and robustness while enjoying the same performance and scalability.
Keyphrases
avispa tool automated security protocol analysis internet security protocol internet security protocol analysis automatic protocol analysis technique large library push-button tool state-of-the-art tool different back-ends expressive formal language experimental result automated validation security property
