摘要: The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve greater security. Proof of possession of authorisation values known as authdata is required by user process会议名称: Formal Aspects in Security & Trust, International Workshop, Fast, Eindhoven, the...