|
An Analysis of the CAVES Attestation Protocol Using CPSA
December 2009
John D. Ramsdell, The MITRE Corporation
Joshua D. Guttman, The MITRE Corporation
Jonathan K. Millen, The MITRE Corporation
Brian O'Hanlon, The MITRE Corporation
ABSTRACT
This paper describes the CAVES attestation protocol and presents a tool-supported analysis showing that the runs of the protocol achieve stated goals. The goals are stated formally by annotating the protocol with logical formulas using the rely-guarantee method. The protocol analysis tool used is the Cryptographic Protocol Shape Analyzer.
Additional Search Keywords
n/a
|
