|
Search the dblp DataBase
Jonathan C. Herzog:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jonathan C. Herzog
The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model. [Citation Graph (0, 0)][DBLP] CSFW, 2003, pp:234-247 [Conf]
- F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Honest Ideals on Strand Spaces. [Citation Graph (0, 0)][DBLP] CSFW, 1998, pp:66-77 [Conf]
- F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Mixed Strand Spaces. [Citation Graph (0, 0)][DBLP] CSFW, 1999, pp:72-82 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ESOP, 2004, pp:325-339 [Conf]
- Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
Programming Cryptographic Protocols. [Citation Graph (0, 0)][DBLP] TGC, 2005, pp:116-145 [Conf]
- F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Strand Spaces: Proving Security Protocols Correct. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 1999, v:7, n:1, pp:- [Journal]
Strand Spaces: Why is a Security Protocol Correct? [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|