Brian O'Hanlon

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Formal Analysis

Top Venues

Publications

John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon
An Analysis of the CAVES Attestation Protocol using CPSA CoRR (2012)
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
Principles of remote attestation. Int. J. Inf. Sec. 10 (2) (2011)