10.3969/j.issn.1001-3695.2017.07.052
基于ProVerif的TVP迁移协议安全性分析
针对可信虚拟平台(trusted virtual platform,TVP)迁移协议缺乏有效的安全性验证问题,引入应用π演算对协议流程及安全属性进行形式化建模,并基于其自动化工具ProVerif对协议的弱机密性、强机密性及实体可认证性进行了分析.结果表明,该协议能够满足TVP迁移应用的安全要求.
可信虚拟平台、迁移协议、应用π演算、ProVerif安全性、形式化分析
34
TP393.08(计算技术、计算机技术)
国家”863”计划资助项目2012AA012704
2017-08-14(万方平台首次上网日期,不代表论文的发表时间)
共5页
2155-2158,2163