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)

Attestation: Evidence and Trust. - George Coker; Joshua D. Guttman; Peter A. Loscocco; Justin Sheehy; Brian T. Sniffen (ICICS, 2008)

Principles of remote attestation. - George Coker; Joshua D. Guttman; Peter A. Loscocco; Amy L. Herzog; Jonathan K. Millen; Brian O'Hanlon; John D. Ramsdell; Ariel Segall; Justin Sheehy; Brian T. Sniffen (Int. J. Inf. Sec., 2011)