Analysis of the Security-Enhanced vTPM Migration Protocol Based on ProVerif
Dexian Chang, Xiaobo Chu, Ge Wei · 2013
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.