Showing 1–1 of 1 results for author: Millen, J K

An Analysis of the CAVES Attestation Protocol using CPSA

Authors: John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon

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. 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. △ Less

Submitted 2 July, 2012; originally announced July 2012.

Report number: MITRE Technical Report MTR090213