2005 |
7 | EE | Joshua D. Guttman,
Jonathan C. Herzog,
John D. Ramsdell,
Brian T. Sniffen:
Programming Cryptographic Protocols.
TGC 2005: 116-145 |
2004 |
6 | EE | Joshua D. Guttman,
F. Javier Thayer,
Jay A. Carlson,
Jonathan C. Herzog,
John D. Ramsdell,
Brian T. Sniffen:
Trust Management in Strand Spaces: A Rely-Guarantee Method.
ESOP 2004: 325-339 |
2003 |
5 | EE | Jonathan C. Herzog:
The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model.
CSFW 2003: 234-247 |
1999 |
4 | EE | F. Javier Thayer,
Jonathan C. Herzog,
Joshua D. Guttman:
Mixed Strand Spaces.
CSFW 1999: 72-82 |
3 | | F. Javier Thayer,
Jonathan C. Herzog,
Joshua D. Guttman:
Strand Spaces: Proving Security Protocols Correct.
Journal of Computer Security 7(1): (1999) |
1998 |
2 | EE | F. Javier Thayer,
Jonathan C. Herzog,
Joshua D. Guttman:
Honest Ideals on Strand Spaces.
CSFW 1998: 66-77 |
1 | EE | F. Javier Thayer,
Jonathan C. Herzog,
Joshua D. Guttman:
Strand Spaces: Why is a Security Protocol Correct?
IEEE Symposium on Security and Privacy 1998: 160-171 |