10 citations · 27 across the 8 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.CR2012★ 6 cited
An Analysis of the CAVES Attestation Protocol using CPSA
John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen +1
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…
cs.CR2012★ 10 cited
Deducing Security Goals From Shape Analysis Sentences
John D. Ramsdell
Guttman presented a model-theoretic approach to establishing security goals in the context of Strand Space theory. In his approach, a run of the Cryptographic Protocol Shapes Analy…