An Analysis of the CAVES Attestation Protocol using CPSA

John D. Ramsdell Joshua D. Guttman Jonathan K. Millen Brian O'Hanlon

Published in: CoRR (2012)

Keyphrases

data mining
formal analysis
end to end