【文件属性】：
文件名称：论文研究-基于ProVerif的TVP迁移协议安全性分析.pdf
文件大小：823KB
文件格式：PDF
更新时间：2022-08-11 12:48:01
可信虚拟平台,迁移协议,应用π演算,ProVerif安全性,形式化分析
针对可信虚拟平台（trusted virtual platform，TVP）迁移协议缺乏有效的安全性验证问题，引入应用π演算对协议流程及安全属性进行形式化建模，并基于其自动化工具ProVerif对协议的弱机密性、强机密性及实体可认证性进行了分析。结果表明，该协议能够满足TVP迁移应用的安全要求。