论文研究-基于ProVerif的TVP迁移协议安全性分析.pdf

时间:2022-08-11 12:48:01
【文件属性】:

文件名称:论文研究-基于ProVerif的TVP迁移协议安全性分析.pdf

文件大小:823KB

文件格式:PDF

更新时间:2022-08-11 12:48:01

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

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


网友评论