Analyzing the Trusted Platform Module Based on ProVerif
LI Hong-y · Journal of Beijing Institute of Petro-Chemical Technology · 2013
The Trusted Platform Module(TPM)plays an important role in evaluating trust of the terminal.It is essential to analyze its security.We build the formal model of the TPM usingπ calculus.The command TPM_Certify Key is analyzed using the model.The flaw of the command is also discovered through the tool ProVerif.