Authentication of the Command TPM_CertifyKey in the Trusted Platform Module

Download Now
Provided by: Institute of Advanced Engineering and Science (IAES)
Topic: Security
Format: PDF
Trusted Platform Module (TPM) is a key component designed to enable computers achieve greater security. Several vulnerabilities discovered in the TPM highlight the necessity of formal analysis. The procedure invoking an API may be regarded as several interactive processes between the TPM and a user. As a result, the current study formalized the API specifications proposed by Trusted Computing Group (TCG) using applied pi calculus. Meanwhile, two authentication properties between them were also described in a formalized way.
Download Now

Find By Topic