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

发布时间：2018-10-15 08:33

【摘要】：针对可信虚拟平台(trusted virtual platform,TVP)迁移协议缺乏有效的安全性验证问题,引入应用π演算对协议流程及安全属性进行形式化建模,并基于其自动化工具ProVerif对协议的弱机密性、强机密性及实体可认证性进行了分析。结果表明,该协议能够满足TVP迁移应用的安全要求。
[Abstract]:In view of the lack of effective security verification for the migration protocol of trusted virtual platform (trusted virtual platform,TVP), 蟺 calculus is introduced to formalize the protocol flow and security attributes, and based on the weak confidentiality of the protocol based on its automation tool ProVerif. Strong confidentiality and entity authentication are analyzed. The results show that the protocol can meet the security requirements of TVP migration applications.
【作者单位】： 信息工程大学;河南省信息安全重点实验室;
【基金】：国家“863”计划资助项目(2012AA012704)
【分类号】：TP393.08

【相似文献】

相关期刊论文 前10条

1 陈少军;陈雨人;顾丁奕;;基于多人驾驶虚拟平台研究车群行为的基础模型设计[J];交通与计算机;2008年05期

2 朱晓彦;;虚拟平台技术的研究与应用[J];电脑知识与技术;2010年11期

3 范玉凤;;师范生口语表达能力训练虚拟平台设计[J];软件导刊;2012年10期

4 张延华;白海军;李朋辉;;基于虚拟平台交互式案例教学的实践与研究[J];软件导刊;2011年02期

5 杨春山;;基于虚拟平台的Windows Server 2003系统管理实验[J];黑龙江科技信息;2012年26期

6 周忠;张琳;;虚拟平台推动科研现实[J];中国教育网络;2013年Z1期

7 罗澜;缪国宇;;基于虚拟平台的多工序过程质量控制系统及应用[J];冶金自动化;2013年04期

8 张浩;徐建生;陈钰;;滑动轴承网上虚拟平台[J];价值工程;2011年14期

9 ;本土化创业实训虚拟平台在长研发[J];劳动保障世界;2010年05期

10 万飞;李国喜;龚京忠;吴宝中;;整机动态装调虚拟平台总体框架[J];计算机集成制造系统;2013年09期

相关会议论文 前2条

1 李婷云;杨国豪;;基于网络虚拟平台的船舶机舱三维虚拟漫游和远程操纵系统[A];福建省科协第八届学术年会船舶及海洋工程分会论文集[C];2008年

2 傅绍文;姚郁;;基于动态控制方法的六自由度仿真平台位置正解研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年

相关重要报纸文章 前6条

1 北京商报记者 吴文治;商务部：虚拟平台是大趋势[N];北京商报;2014年

2 Sun公司美国系统实施部副总裁 Marc Hamilton;高性能计算需要开源虚拟平台[N];中国计算机报;2008年

3 卢宇恒;虚拟平台上的现实交易[N];中国摄影报;2014年

4 张群英;虚拟平台能够统一管理吗？[N];网络世界;2006年

5 本报记者 廖剑锋;打车APP虚拟平台或统一监管收紧面临转型抉择[N];通信信息报;2013年

6 陶晓庆 黄敬广 周启卫;临海：激活人才创财富[N];台州日报;2006年

相关硕士学位论文 前9条

1 张跃;SDN控制策略设计与虚拟平台仿真[D];内蒙古大学;2015年

2 郭蓉;基于Geant4的能谱滤波分离多谱CT成像虚拟平台设计[D];中北大学;2016年

3 褚昭冉;“互联网+娱乐”环境下星粉互动新模式研究[D];广西大学;2016年

4 李银树;高校学籍管理虚拟平台研究[D];安徽大学;2010年

5 张彬;CPU/FPGA可重构虚拟平台的研究与实现[D];东北大学;2011年

6 俞立峰;基于Linux的新一代嵌入式虚拟平台[D];浙江大学;2006年

7 曹磊;舰船试验环境虚拟平台的设计与实现[D];北京交通大学;2012年

8 吴宗楠;基于虚拟平台的SCADA系统部署[D];华北电力大学;2012年

9 巫小蓉;基于CORBA/JAVA的分布式并行虚拟平台——CJPVM模型框架[D];湘潭大学;2002年

，

本文编号：2271967