 | 2005 |
|---|
| 7 |       | Joshua D. Guttman,
Jonathan C. Herzog,
John D. Ramsdell,
Brian T. Sniffen:
Programming Cryptographic Protocols.
TGC 2005: 116-145 |
| 2004 |
|---|
| 6 | | 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 | | Jonathan C. Herzog:
The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model.
CSFW 2003: 234-247 |
| 1999 |
|---|
| 4 | | 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 | | F. Javier Thayer,
Jonathan C. Herzog,
Joshua D. Guttman:
Honest Ideals on Strand Spaces.
CSFW 1998: 66-77 |
| 1 | | 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 |
