The AVISS Security Protocol Analysis Tool - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron. The AVISS Security Protocol Analysis Tool. In Ed Brinksma, Kim Guldstrand Larsen, editors, Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Volume 2404 of Lecture Notes in Computer Science, pages 349-353, Springer, 2002. [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 'Mehdi Bouallagui' 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 'Sebastian Mödersheim' in GoogleThis author has not been identified. Look up 'Michaël Rusinowitch' 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