Design and Formal Verification of a Copland Based Attestation Protocol

-