The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

14 years 5 months ago

Alessandro Armando, David A. Basin, Yohan Boichut,

CAV 2005 | Formal Methods |

claim paper

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CAV
Authors	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

Comments (0)