【摘要】：針對可信虛擬平臺(trusted virtual platform,TVP)遷移協(xié)議缺乏有效的安全性驗證問題,引入應用π演算對協(xié)議流程及安全屬性進行形式化建模,并基于其自動化工具ProVerif對協(xié)議的弱機密性、強機密性及實體可認證性進行了分析。結(jié)果表明,該協(xié)議能夠滿足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系統(tǒng)管理實驗[J];黑龍江科技信息;2012年26期

6 周忠;張琳;;虛擬平臺推動科研現(xiàn)實[J];中國教育網(wǎng)絡;2013年Z1期

7 羅瀾;繆國宇;;基于虛擬平臺的多工序過程質(zhì)量控制系統(tǒng)及應用[J];冶金自動化;2013年04期

8 張浩;徐建生;陳鈺;;滑動軸承網(wǎng)上虛擬平臺[J];價值工程;2011年14期

9 ;本土化創(chuàng)業(yè)實訓虛擬平臺在長研發(fā)[J];勞動保障世界;2010年05期

10 萬飛;李國喜;龔京忠;吳寶中;;整機動態(tài)裝調(diào)虛擬平臺總體框架[J];計算機集成制造系統(tǒng);2013年09期

相關會議論文 前2條

1 李婷云;楊國豪;;基于網(wǎng)絡虛擬平臺的船舶機艙三維虛擬漫游和遠程操縱系統(tǒng)[A];福建省科協(xié)第八屆學術年會船舶及海洋工程分會論文集[C];2008年

2 傅紹文;姚郁;;基于動態(tài)控制方法的六自由度仿真平臺位置正解研究[A];中國系統(tǒng)仿真學會第五次全國會員代表大會暨2006年全國學術年會論文集[C];2006年

相關重要報紙文章 前6條

1 北京商報記者 吳文治;商務部：虛擬平臺是大趨勢[N];北京商報;2014年

2 Sun公司美國系統(tǒng)實施部副總裁 Marc Hamilton;高性能計算需要開源虛擬平臺[N];中國計算機報;2008年

3 盧宇恒;虛擬平臺上的現(xiàn)實交易[N];中國攝影報;2014年

4 張群英;虛擬平臺能夠統(tǒng)一管理嗎？[N];網(wǎng)絡世界;2006年

5 本報記者 廖劍鋒;打車APP虛擬平臺或統(tǒng)一監(jiān)管收緊面臨轉(zhuǎn)型抉擇[N];通信信息報;2013年

6 陶曉慶 黃敬廣 周啟衛(wèi);臨海：激活人才創(chuàng)財富[N];臺州日報;2006年

相關碩士學位論文 前9條

1 張躍;SDN控制策略設計與虛擬平臺仿真[D];內(nèi)蒙古大學;2015年

2 郭蓉;基于Geant4的能譜濾波分離多譜CT成像虛擬平臺設計[D];中北大學;2016年

3 褚昭冉;“互聯(lián)網(wǎng)+娛樂”環(huán)境下星粉互動新模式研究[D];廣西大學;2016年

4 李銀樹;高校學籍管理虛擬平臺研究[D];安徽大學;2010年

5 張彬;CPU/FPGA可重構虛擬平臺的研究與實現(xiàn)[D];東北大學;2011年

6 俞立峰;基于Linux的新一代嵌入式虛擬平臺[D];浙江大學;2006年

7 曹磊;艦船試驗環(huán)境虛擬平臺的設計與實現(xiàn)[D];北京交通大學;2012年

8 吳宗楠;基于虛擬平臺的SCADA系統(tǒng)部署[D];華北電力大學;2012年

9 巫小蓉;基于CORBA/JAVA的分布式并行虛擬平臺——CJPVM模型框架[D];湘潭大學;2002年

，

本文編號：2271967