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
CAV, 2005.
@inproceedings{CAV-2005-ArmandoBBCCCDHKMMORSTVV,
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",
booktitle = "{Proceedings of the 17th International Conference on Computer Aided Verification}",
doi = "10.1007/11513988_27",
isbn = "3-540-27231-3",
pages = "281--285",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications}",
volume = 3576,
year = 2005,
}
Tags:
