O'Hanlon. An Analysis of the CAVES Attestation Protocol Using CPSA. 2 July 2012.