Selecting theories and nonce generation for recursive protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke. Selecting theories and nonce generation for recursive protocols. In Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel, editors, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. pages 61-70, ACM, 2007. [doi]

This author has not been identified. Look up 'Klaas Ole Kürtz' in GoogleThis author has not been identified. Look up 'Ralf Küsters' in GoogleThis author has not been identified. Look up 'Thomas Wilke' in Google

runs on WebDSL