【摘要】：針對(duì)可信虛擬平臺(tái)(trusted virtual platform,TVP)遷移協(xié)議缺乏有效的安全性驗(yàn)證問題,引入應(yīng)用π演算對(duì)協(xié)議流程及安全屬性進(jìn)行形式化建模,并基于其自動(dòng)化工具ProVerif對(duì)協(xié)議的弱機(jī)密性、強(qiáng)機(jī)密性及實(shí)體可認(rèn)證性進(jìn)行了分析。結(jié)果表明,該協(xié)議能夠滿足TVP遷移應(yīng)用的安全要求。
[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.
【作者單位】： 信息工程大學(xué);河南省信息安全重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家“863”計(jì)劃資助項(xiàng)目(2012AA012704)
【分類號(hào)】：TP393.08

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 陳少軍;陳雨人;顧丁奕;;基于多人駕駛虛擬平臺(tái)研究車群行為的基礎(chǔ)模型設(shè)計(jì)[J];交通與計(jì)算機(jī);2008年05期

2 朱曉彥;;虛擬平臺(tái)技術(shù)的研究與應(yīng)用[J];電腦知識(shí)與技術(shù);2010年11期

3 范玉鳳;;師范生口語(yǔ)表達(dá)能力訓(xùn)練虛擬平臺(tái)設(shè)計(jì)[J];軟件導(dǎo)刊;2012年10期

4 張延華;白海軍;李朋輝;;基于虛擬平臺(tái)交互式案例教學(xué)的實(shí)踐與研究[J];軟件導(dǎo)刊;2011年02期

5 楊春山;;基于虛擬平臺(tái)的Windows Server 2003系統(tǒng)管理實(shí)驗(yàn)[J];黑龍江科技信息;2012年26期

6 周忠;張琳;;虛擬平臺(tái)推動(dòng)科研現(xiàn)實(shí)[J];中國(guó)教育網(wǎng)絡(luò);2013年Z1期

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

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

9 ;本土化創(chuàng)業(yè)實(shí)訓(xùn)虛擬平臺(tái)在長(zhǎng)研發(fā)[J];勞動(dòng)保障世界;2010年05期

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

相關(guān)會(huì)議論文 前2條

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

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

相關(guān)重要報(bào)紙文章 前6條

1 北京商報(bào)記者 吳文治;商務(wù)部：虛擬平臺(tái)是大趨勢(shì)[N];北京商報(bào);2014年

2 Sun公司美國(guó)系統(tǒng)實(shí)施部副總裁 Marc Hamilton;高性能計(jì)算需要開源虛擬平臺(tái)[N];中國(guó)計(jì)算機(jī)報(bào);2008年

3 盧宇恒;虛擬平臺(tái)上的現(xiàn)實(shí)交易[N];中國(guó)攝影報(bào);2014年

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

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

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

相關(guān)碩士學(xué)位論文 前9條

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

2 郭蓉;基于Geant4的能譜濾波分離多譜CT成像虛擬平臺(tái)設(shè)計(jì)[D];中北大學(xué);2016年

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

4 李銀樹;高校學(xué)籍管理虛擬平臺(tái)研究[D];安徽大學(xué);2010年

5 張彬;CPU/FPGA可重構(gòu)虛擬平臺(tái)的研究與實(shí)現(xiàn)[D];東北大學(xué);2011年

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

7 曹磊;艦船試驗(yàn)環(huán)境虛擬平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京交通大學(xué);2012年

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

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

，

本文編號(hào)：2271967