DocumentCode
1848735
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
fYear
2013
fDate
21-23 June 2013
Firstpage
1437
Lastpage
1440
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on
Conference_Location
Shiyang
Type
conf
DOI
10.1109/ICCIS.2013.379
Filename
6643297
Link To Document