本文選題：云服務(wù) + 認(rèn)證協(xié)議　； 參考：《計(jì)算機(jī)科學(xué)》2016年04期

【摘要】：針對多個云服務(wù)之間的跨域認(rèn)證問題,提出一種基于SAML協(xié)議的云服務(wù)安全認(rèn)證方案。闡明了該方案的關(guān)鍵技術(shù)機(jī)制,建立了云服務(wù)安全認(rèn)證協(xié)議抽象模型;采用Casper和FDR軟件的組合,通過模型檢測法對云服務(wù)認(rèn)證協(xié)議進(jìn)行了形式化分析與驗(yàn)證;通過對安全認(rèn)證協(xié)議進(jìn)行分段模型檢測,解決了安全協(xié)議形式化分析驗(yàn)證導(dǎo)致的狀態(tài)空間爆炸問題。模型檢測軟件的實(shí)驗(yàn)結(jié)果驗(yàn)證了云服務(wù)跨域認(rèn)證方案的有效性及安全性。
[Abstract]:A secure authentication scheme for cloud services based on SAML protocol is proposed for cross-domain authentication of multiple cloud services. The key technical mechanism of the scheme is expounded, and the abstract model of cloud service security authentication protocol is established, and the formal analysis and verification of the cloud service authentication protocol are carried out by the combination of Casper and FDR software and the model checking method. The state space explosion caused by formal analysis and verification of security protocols is solved by segmented model checking of security authentication protocols. The experimental results of the model checking software verify the validity and security of the cross-domain authentication scheme for cloud services.
【作者單位】： 北京科技大學(xué)計(jì)算機(jī)與通信工程學(xué)院;鐵道警察學(xué)院;哈爾濱工業(yè)大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：北京市科技計(jì)劃項(xiàng)目(D141100003414002) “十二五”國家863高技術(shù)研究發(fā)展計(jì)劃重大專項(xiàng):億級并發(fā)云服務(wù)器研制(2013AA01A209) 中央高校基本科研業(yè)務(wù)費(fèi)項(xiàng)目(FRF-TP-14-042A2) 北京市自然科學(xué)基金(4142034) 北京市青年英才計(jì)劃(YETP0380) 國家留學(xué)基金管理委員會資助
【分類號】：TP393.08

【相似文獻(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ì)算機(jī)工程與應(yīng)用;2006年34期

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

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

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

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

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

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

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

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

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

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

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

9 劉忠;王成道;;基于漢語語意形式系統(tǒng)的符號化研究[A];第六屆全國計(jì)算機(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ù)的形式化分析與驗(yàn)證[D];上海交通大學(xué);2012年

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

5 楊超;無線網(wǎng)絡(luò)協(xié)議的形式化分析與設(shè)計(jì)[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)形式化分析與驗(yàn)證[D];蘭州大學(xué);2011年

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

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

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

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

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

4 李軼，

本文編號：1910035