TY  - RPRT
TI  - An Analysis of the CAVES Attestation Protocol using CPSA
AU  - John D. Ramsdell
AU  - Joshua D. Guttman
AU  - Jonathan K. Millen
AU  - Brian O'Hanlon
PY  - 2012
UR  - https://arxiv.org/abs/1207.0418
ID  - 1207.0418
ER  -