An Analysis of the CAVES Attestation Protocol using CPSA
classification
💻 cs.CR
keywords
protocolanalysisattestationcavesgoalsstatedachieveanalyzer
read the original 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 has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.