An Analysis of the CAVES Attestation Protocol using CPSA
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2012
- DOI:
- 10.48550/arXiv.1207.0418
- arXiv:
- arXiv:1207.0418
- Bibcode:
- 2012arXiv1207.0418R
- Keywords:
-
- Computer Science - Cryptography and Security