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)

An Analysis of the CAVES Attestation Protocol using CPSA - John D. Ramsdell; Joshua D. Guttman; Jonathan K. Millen; Brian O'Hanlon (CoRR, 2012)