Analysing Security Protocols using CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gavin Lowe. Analysing Security Protocols using CSP. In Véronique Cortier, Steve Kremer, editors, Formal Models and Techniques for Analyzing Security Protocols. Volume 5 of Cryptology and Information Security Series, pages 62-85, IOS Press, 2011. [doi]

This author has not been identified. Look up 'Gavin Lowe' in Google

runs on WebDSL