Design and formal verification of a copland- based attestation protocol

-