本文關(guān)鍵詞： 移動支付 遠(yuǎn)程證明協(xié)議 用戶屬性 形式化分析 SPIN模型檢測　出處：《計算機(jī)工程與應(yīng)用》2017年01期 　論文類型：期刊論文

【摘要】：遠(yuǎn)程證明是解決移動支付安全問題的有效手段之一。通過對可信計算遠(yuǎn)程證明協(xié)議進(jìn)行分析,發(fā)現(xiàn)用戶平臺配置信息的隱私性、用戶的認(rèn)證性和遠(yuǎn)程驗證者的認(rèn)證性存在脆弱點,使用SPIN模型檢測工具,應(yīng)用模型檢測方法對協(xié)議進(jìn)行了形式化分析,檢測出破壞性攻擊漏洞。針對協(xié)議中的漏洞對協(xié)議進(jìn)行改進(jìn),提出了一種基于用戶屬性加鹽哈希的方法,通過用戶屬性保證協(xié)議的安全傳輸。最后使用SPIN檢測改進(jìn)后的協(xié)議,證明了改進(jìn)方案的有效性、安全性,阻斷了發(fā)現(xiàn)的攻擊。
[Abstract]:Remote authentication is one of the effective methods to solve the security problem of mobile payment. By analyzing the trusted computing remote certification protocol, the privacy of configuration information of user platform is discovered. The authentication of user and the authentication of remote verifier are weak points. Using SPIN model checking tool, the formal analysis of protocol is carried out by using model checking method. This paper presents a method based on user attribute and salt hashing to ensure the secure transmission of the protocol. Finally, the improved protocol is detected by SPIN. The effectiveness and security of the improved scheme are proved, and the detected attack is blocked.
【作者單位】： 太原理工大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院;
【基金】：國家高技術(shù)研究發(fā)展計劃(863)項目(No.2014AA015204)
【分類號】：TP309

【相似文獻(xiàn)】

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

1 范紅,馮登國;安全協(xié)議形式化分析方法綜述之二——基于攻擊結(jié)構(gòu)性方法[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2003年06期

2 郭宇燕;;安全協(xié)議的形式化分析方法初探[J];內(nèi)江科技;2007年11期

3 范紅,馮登國;一種混合的安全協(xié)議形式化分析技術(shù)[J];中國科學(xué)院研究生院學(xué)報;2002年03期

4 范紅,馮登國,鄒良惠;安全協(xié)議形式化分析方法綜述之一:基于推理結(jié)構(gòu)性方法[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2003年05期

5 常亮;古天龍;;安全協(xié)議及其形式化分析研究[J];桂林電子工業(yè)學(xué)院學(xué)報;2006年04期

6 蔡永泉;朱勇;;一種改進(jìn)的A(0)協(xié)議及其形式化分析[J];計算機(jī)工程與應(yīng)用;2006年34期

7 亓文華;張其善;劉建偉;;關(guān)于安全協(xié)議的形式化分析方法的研究[J];遙測遙控;2007年02期

8 文靜華;張梅;張煥國;;電子支付協(xié)議的博弈邏輯模型與形式化分析[J];微電子學(xué)與計算機(jī);2007年09期

9 陸陽;肖軍模;劉晶;;一種新的安全協(xié)議形式化分析方法——證據(jù)邏輯[J];計算機(jī)工程;2008年02期

10 卜奎昊;;安全協(xié)議形式化分析方法的融合性研究[J];西北師范大學(xué)學(xué)報(自然科學(xué)版);2010年05期

相關(guān)會議論文 前9條

1 文靜華;張梅;張煥國;;電子支付協(xié)議的博弈邏輯模型與形式化分析[A];2007年全國開放式分布與并行計算機(jī)學(xué)術(shù)會議論文集(上冊)[C];2007年

2 顧永跟;傅育熙;朱涵;呂銀華;;基于進(jìn)程演算的安全協(xié)議形式化分析[A];2005年全國理論計算機(jī)科學(xué)學(xué)術(shù)年會論文集[C];2005年

3 肖美華;鄧宸芳;馬小薏;薛錦云;江耘;;網(wǎng)絡(luò)安全認(rèn)證協(xié)議形式化分析[A];第二十次全國計算機(jī)安全學(xué)術(shù)交流會論文集[C];2005年

4 崔楠;汪學(xué)明;;基于SVO邏輯的電子商務(wù)協(xié)議非否認(rèn)性形式化分析[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議論文集[C];2008年

5 張梅;文靜華;張煥國;;基于ATL的電子商務(wù)協(xié)議建模與形式化分析[A];2009年全國開放式分布與并行計算機(jī)學(xué)術(shù)會議論文集(上冊)[C];2009年

6 李秋山;胡游君;;低成本RFID系統(tǒng)安全協(xié)議設(shè)計及其形式化分析[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會——通信與信息技術(shù)會議論文集（上）[C];2006年

7 謝鴻波;周明天;;安全協(xié)議的形式化技術(shù):述評[A];’2004計算機(jī)應(yīng)用技術(shù)交流會議論文集[C];2004年

8 徐銳;;設(shè)計安全協(xié)議[A];第十八次全國計算機(jī)安全學(xué)術(shù)交流會論文集[C];2003年

9 劉忠;王成道;;基于漢語語意形式系統(tǒng)的符號化研究[A];第六屆全國計算機(jī)應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

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

1 范紅;安全協(xié)議形式化分析理論與方法[D];中國人民解放軍信息工程大學(xué);2003年

2 張帆;無線網(wǎng)絡(luò)安全協(xié)議的形式化分析方法[D];西安電子科技大學(xué);2007年

3 陳俊清;可信普適服務(wù)的形式化分析與驗證[D];上海交通大學(xué);2012年

4 汪學(xué)明;多方安全協(xié)議的形式化分析方法研究與應(yīng)用[D];貴州大學(xué);2008年

5 楊超;無線網(wǎng)絡(luò)協(xié)議的形式化分析與設(shè)計[D];西安電子科技大學(xué);2008年

6 魯來鳳;安全協(xié)議形式化分析理論與應(yīng)用研究[D];西安電子科技大學(xué);2012年

7 朱薏;數(shù)據(jù)庫管理系統(tǒng)安全性形式化分析研究[D];華中科技大學(xué);2014年

8 趙輝;安全協(xié)議形式化分析技術(shù)的研究[D];大連理工大學(xué);2010年

9 何安平;基于層次模型的混合系統(tǒng)形式化分析與驗證[D];蘭州大學(xué);2011年

10 李云峰;電子商務(wù)協(xié)議安全性的形式化分析方法研究[D];西南交通大學(xué);2009年

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

1 張玲玲;物聯(lián)網(wǎng)安全協(xié)議形式化分析與驗證[D];聊城大學(xué);2015年

2 王煥孝;基于SAT的安全協(xié)議形式化分析方法研究與應(yīng)用[D];解放軍信息工程大學(xué);2014年

3 常寅龍;電子商務(wù)協(xié)議的形式化分析與漏洞檢測[D];福州大學(xué);2013年

4 王潔;公平不可否認(rèn)協(xié)議設(shè)計及其形式化分析[D];重慶大學(xué);2008年

5 成敏盈;電力系統(tǒng)安全協(xié)議形式化分析技術(shù)研究[D];廣東工業(yè)大學(xué);2008年

6 李軼，

本文編號：1508685