Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron. The AVISS Security Protocol Analysis Tool. In Ed Brinksma, Kim Guldstrand Larsen, editors, Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Volume 2404 of Lecture Notes in Computer Science, pages 349-353, Springer, 2002. [doi]
@inproceedings{ArmandoBBCCMRTVV02,
title = {The AVISS Security Protocol Analysis Tool},
author = {Alessandro Armando and David A. Basin and Mehdi Bouallagui and Yannick Chevalier and Luca Compagna and Sebastian Mödersheim and Michaël Rusinowitch and Mathieu Turuani and Luca Viganò and Laurent Vigneron},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2404/24040349.htm},
tags = {protocol, analysis, security},
researchr = {https://researchr.org/publication/ArmandoBBCCMRTVV02},
cites = {0},
citedby = {0},
pages = {349-353},
booktitle = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
editor = {Ed Brinksma and Kim Guldstrand Larsen},
volume = {2404},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43997-8},
}