@inproceedings{CAV-2002-ArmandoBBCCMRTVV,
	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",
	booktitle     = "{Proceedings of the 14th International Conference on Computer Aided Verification}",
	doi           = "10.1007/3-540-45657-0_27",
	isbn          = "3-540-43997-8",
	pages         = "349--353",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{The AVISS Security Protocol Analysis Tool}",
	volume        = 2404,
	year          = 2002,
}