Generic Verification of Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh. Generic Verification of Security Protocols. In Patrice Godefroid, editor, Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Volume 3639 of Lecture Notes in Computer Science, pages 221-235, Springer, 2005. [doi]

This author has not been identified. Look up 'Abdul Sahid Khan' in GoogleThis author has not been identified. Look up 'Madhavan Mukund' in GoogleThis author has not been identified. Look up 'S. P. Suresh' in Google

runs on WebDSL