Honest Ideals on Strand Spaces. - F. Javier Thayer; Jonathan C. Herzog; Joshua D. Guttman (CSFW, 1998)

Strand Spaces: Why is a Security Protocol Correct? - F. Javier Thayer; Jonathan C. Herzog; Joshua D. Guttman (S&P, 1998)

Mixed Strand Spaces. - F. Javier Thayer; Jonathan C. Herzog; Joshua D. Guttman (CSFW, 1999)

Strand Spaces: Proving Security Protocols Correct. - F. Javier Thayer; Jonathan C. Herzog; Joshua D. Guttman (J. Comput. Secur., 1999)

The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model. - Jonathan C. Herzog (CSFW, 2003)

Trust Management in Strand Spaces: A Rely-Guarantee Method. - Joshua D. Guttman; F. Javier Thayer; Jay A. Carlson; Jonathan C. Herzog; John D. Ramsdell; Brian T. Sniffen (ESOP, 2004)

Programming Cryptographic Protocols. - Joshua D. Guttman; Jonathan C. Herzog; John D. Ramsdell; Brian T. Sniffen (TGC, 2005)

Use of Static-Static Elliptic Curve Diffie-Hellman Key Agreement in Cryptographic Message Syntax. - Jonathan C. Herzog; Roger Khazan (RFC, 2011)