Programming Cryptographic Protocols

Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen. Programming Cryptographic Protocols. In Rocco De Nicola, Davide Sangiorgi, editors, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Volume 3705 of Lecture Notes in Computer Science, pages 116-145, Springer, 2005. [doi]

Authors

Joshua D. Guttman

This author has not been identified. It may be one of the following persons: Look up 'Joshua D. Guttman' in Google

Jonathan C. Herzog

This author has not been identified. Look up 'Jonathan C. Herzog' in Google

John D. Ramsdell

This author has not been identified. Look up 'John D. Ramsdell' in Google

Brian T. Sniffen

This author has not been identified. Look up 'Brian T. Sniffen' in Google