Principles of remote attestation