The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Kousha Etessami, Sriram K. Rajamani, editors, Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Volume 3576 of Lecture Notes in Computer Science, pages 281-285, Springer, 2005. [doi]

This author has not been identified. Look up 'Alessandro Armando' in GoogleThis author has not been identified. Look up 'David A. Basin' in GoogleThis author has not been identified. Look up 'Yohan Boichut' in GoogleThis author has not been identified. Look up 'Yannick Chevalier' in GoogleThis author has not been identified. Look up 'Luca Compagna' in GoogleThis author has not been identified. Look up 'Jorge Cuéllar' in GoogleThis author has not been identified. Look up 'Paul Hankes Drielsma' in GoogleThis author has not been identified. Look up 'Pierre-Cyrille Héam' in GoogleThis author has not been identified. Look up 'Olga Kouchnarenko' in GoogleThis author has not been identified. Look up 'Jacopo Mantovani' in GoogleThis author has not been identified. Look up 'Sebastian Mödersheim' in GoogleThis author has not been identified. Look up 'David von Oheimb' in GoogleThis author has not been identified. Look up 'Michaël Rusinowitch' in GoogleThis author has not been identified. Look up 'Judson Santiago' in GoogleThis author has not been identified. Look up 'Mathieu Turuani' in GoogleThis author has not been identified. Look up 'Luca Viganò' in GoogleThis author has not been identified. Look up 'Laurent Vigneron' in Google

runs on WebDSL