Searching for Shapes in Cryptographic Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer. Searching for Shapes in Cryptographic Protocols. In Orna Grumberg, Michael Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi. Volume 4424 of Lecture Notes in Computer Science, pages 523-537, Springer, 2007. [doi]

This author has not been identified. Look up 'Shaddin F. Doghmi' in GoogleThis author has not been identified. It may be one of the following persons:

Joshua D. Guttman

Look up 'Joshua D. Guttman' in GoogleThis author has not been identified. Look up 'F. Javier Thayer' in Google

runs on WebDSL