基于ProVerif的TVP迁移协议安全性分析  

Security analysis of TVP migration protocol based on ProVerif

作　　者：常德显[1,2] 杨英杰[1,2] 

机构地区：[1]信息工程大学,郑州450001 [2]河南省信息安全重点实验室,郑州450001

出　　处：《计算机应用研究》2017年第7期2155-2158,2163,共5页Application Research of Computers

基　　金：国家"863"计划资助项目(2012AA012704)

摘　　要：针对可信虚拟平台(trusted virtual platform,TVP)迁移协议缺乏有效的安全性验证问题,引入应用π演算对协议流程及安全属性进行形式化建模,并基于其自动化工具ProVerif对协议的弱机密性、强机密性及实体可认证性进行了分析。结果表明,该协议能够满足TVP迁移应用的安全要求。As the migration protocol of TVP（trusted virtual platform） lack of effective safety verification, this paper introduced applied π calculus to model the protocol process and its security properties.It verified the weak secrecy, strong secrecy and authentication formally using the automation tool ProVerif.Analysis result shows that the migration protocol of TVP is able to satisfy the security requirements of TVP migration application.

关 键 词：可信虚拟平台 迁移协议 应用π演算 ProVerif安全性 形式化分析 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]