6 citations · 6 across the 1 of their papers we have counts for
1 paper
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…