Publications de
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuellar, Gabriel Erzse, Simone Frau, Marius Minea, David Von Oheimb, Sebastian Mödersheim, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rochetto, Michaël Rusinowitch, Mohamad Torabi Dashti, Mathieu Turuani, Luca Vigano
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (regular paper)
Dans : TACAS, Talinn, Estonie, 24/03/12-01/04/12, Vol. 7214, Cormac Flanagan, Barbara Koenig (Eds.), Springer, LNCS, p. 267-282, mars 2012.
Alessandro Armando, David Basin , Yohann Boichut, Yannick Chevalier, Al. Et
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Dans : Computer-Aided Verification, Edinburgh, Scotland, UK, 06/07/05-10/07/05, Etessami Kousha, Rajamani Sriram (Eds.), Springer-Verlag, p. 1-5, juillet 2005.