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

• 作者: 常德显 杨英杰
• 来源期刊: 计算机应用研究
• 关键词: 可信虚拟平台 迁移协议 应用π演算 ProVerif安全性 形式化分析
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2155-2158,2163
• 页数: 5页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2017.07.052

摘要

针对可信虚拟平台(trusted virtual platform,TVP)迁移协议缺乏有效的安全性验证问题,引入应用π演算对协议流程及安全属性进行形式化建模,并基于其自动化工具ProVerif对协议的弱机密性、强机密性及实体可认证性进行了分析.结果表明,该协议能够满足TVP迁移应用的安全要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨英杰		18	103	6.0	9.0
3	常德显		12	42	4.0	6.0