Title :
Analysis of the Security-Enhanced vTPM Migration Protocol Based on ProVerif
Author :
Dexian Chang ; Xiaobo Chu ; Ge Wei
Author_Institution :
Inst. of Software, Beijing, China
Abstract :
In this paper, we proposed a security-enhanced vTPM migration protocol to satisfy the security requirements for the vTPM migration, then modeled and analyzed the security properties of the protocol based on the automated verification tool-ProVerif. The analysis results showed that the security-enhanced migration protocol can preserve the weak secrecy, strong secrecy and authentication.
Keywords :
protocols; trusted computing; virtualisation; ProVerif automated verification tool; authentication; protocol security properties; security requirement; security-enhanced vTPM migration protocol; trusted virtual platform; Analytical models; Authentication; Calculus; Protocols; Public key; Virtualization; ProVerif; migration protocol; security analysis; trusted virtualization platform; vTPM;
Conference_Titel :
Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on
Conference_Location :
Shiyang
DOI :
10.1109/ICCIS.2013.379
