Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In Kousha Etessami, Sriram K. Rajamani, editors, Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Volume 3576 of Lecture Notes in Computer Science, pages 281-285, Springer, 2005. [doi]
@inproceedings{ArmandoBBCCCDHKMMORSTVV05,
title = {The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications},
author = {Alessandro Armando and David A. Basin and Yohan Boichut and Yannick Chevalier and Luca Compagna and Jorge Cuéllar and Paul Hankes Drielsma and Pierre-Cyrille Héam and Olga Kouchnarenko and Jacopo Mantovani and Sebastian Mödersheim and David von Oheimb and Michaël Rusinowitch and Judson Santiago and Mathieu Turuani and Luca Viganò and Laurent Vigneron},
year = {2005},
doi = {10.1007/11513988_27},
url = {http://dx.doi.org/10.1007/11513988_27},
tags = {protocol, security},
researchr = {https://researchr.org/publication/ArmandoBBCCCDHKMMORSTVV05},
cites = {0},
citedby = {0},
pages = {281-285},
booktitle = {Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
editor = {Kousha Etessami and Sriram K. Rajamani},
volume = {3576},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-27231-3},
}