本文關(guān)鍵詞：基于原語自動生成的安全協(xié)議組合設(shè)計策略及應(yīng)用研究

  更多相關(guān)文章： 原語 自動生成 可組合元素 組合設(shè)計 規(guī)則

【摘要】：為提高復(fù)合協(xié)議設(shè)計的效率和降低組合設(shè)計過程的復(fù)雜度,構(gòu)建了一種基于原語自動生成的安全協(xié)議組合設(shè)計新策略。利用自動生成工具高效地設(shè)計滿足安全需求的正確原語;根據(jù)新的可組合元素附加規(guī)則,修改消息項(xiàng)結(jié)構(gòu),添加可組合元素,使原語具備可組合性,降低后續(xù)組合設(shè)計過程的復(fù)雜度;根據(jù)新的組合設(shè)計規(guī)則,從可組合的簡單原語出發(fā)構(gòu)建復(fù)合協(xié)議。進(jìn)行了應(yīng)用研究,分別設(shè)計出了非對稱密鑰體制下雙向認(rèn)證協(xié)議和對稱密鑰體制下帶有可信第三方的雙向認(rèn)證且密鑰建立協(xié)議。實(shí)踐分析結(jié)果表明,該策略同時具備自動設(shè)計正確高效以及組合設(shè)計簡便易行的優(yōu)點(diǎn),是一種較為可行的、適用于復(fù)雜安全協(xié)議設(shè)計的新策略。
【作者單位】： 廣西財經(jīng)學(xué)院實(shí)驗(yàn)教學(xué)中心;中國移動通信集團(tuán)廣西分公司;
【關(guān)鍵詞】： 原語 自動生成 可組合元素 組合設(shè)計 規(guī)則
【基金】：廣西高等學(xué)校科學(xué)技術(shù)研究基金項(xiàng)目(2013YB215) 廣西財經(jīng)學(xué)院科研基金項(xiàng)目(2013B047) 廣西財經(jīng)學(xué)院實(shí)驗(yàn)教學(xué)中心經(jīng)濟(jì)與管理實(shí)驗(yàn)教學(xué)示范中心實(shí)驗(yàn)開發(fā)基金項(xiàng)目(2013syzxxm07)
【分類號】：TP393.08
【正文快照】： 0引言協(xié)議自動生成機(jī)制[1,2]能夠提高安全協(xié)議設(shè)計的效率和質(zhì)量,但應(yīng)用范圍有限,可以結(jié)合組合設(shè)計方法[3-5]進(jìn)行復(fù)合協(xié)議的設(shè)計,但是必須確保各原語具備可組合性。針對此問題的研究有“應(yīng)用環(huán)境相符”、“安全目標(biāo)相容”、“避免符號重復(fù)”、“選擇無干擾性原語”、“規(guī)范符號

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 謝鴻波;吳遠(yuǎn)成;劉一靜;周明天;;一種安全協(xié)議的組合分析模型研究[J];電子學(xué)報;2008年11期

2 劉冬梅;卿斯?jié)h;侯玉文;李鵬飛;;一種基于適應(yīng)度函數(shù)遺傳算法的公平交換協(xié)議自動生成方法[J];電子學(xué)報;2010年05期

3 賈洪勇;卿斯?jié)h;谷利澤;楊義先;;通用可組合的組密鑰交換協(xié)議[J];電子與信息學(xué)報;2009年07期

4 李曉樂;董榮勝;吳光偉;;基于組合設(shè)計方法的安全支付協(xié)議的設(shè)計與驗(yàn)證[J];廣西科學(xué)院學(xué)報;2007年04期

5 張孝紅;李謝華;;基于串空間的安全協(xié)議自動化驗(yàn)證算法[J];計算機(jī)工程;2011年05期

6 鄧帆;鄧少鋒;李益發(fā);;應(yīng)用組合方法設(shè)計安全協(xié)議[J];計算機(jī)應(yīng)用;2010年04期

7 楊帆;李彤;曹奇英;;應(yīng)用組合方法設(shè)計普適計算網(wǎng)絡(luò)安全協(xié)議[J];計算機(jī)應(yīng)用研究;2009年03期

8 毋曉英;周清雷;;一種安全協(xié)議自動化分析方法[J];計算機(jī)應(yīng)用研究;2010年06期

9 熊偉建;李曉樂;羅擁軍;;教務(wù)管理系統(tǒng)中信息傳輸安全協(xié)議的設(shè)計與驗(yàn)證[J];計算機(jī)應(yīng)用與軟件;2009年08期

10 余磊;魏仕民;;協(xié)議主體密鑰在測試組件構(gòu)造上的性質(zhì)分析[J];計算機(jī)工程與應(yīng)用;2013年06期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前9條

1 彭曉惠;溫明;任媛媛;;基于SOA技術(shù)的管理信息系統(tǒng)設(shè)計[J];電子設(shè)計工程;2012年16期

2 趙秀鳳;徐秋亮;韋大偉;;群組密鑰協(xié)商協(xié)議的安全性分析方法研究[J];計算機(jī)科學(xué);2011年06期

3 張妤;陰建強(qiáng);胡杰;;通用可組合安全計算的信任模型研究[J];計算機(jī)應(yīng)用;2012年05期

4 文雙舉;;Kaman協(xié)議的形式化驗(yàn)證[J];計算機(jī)與現(xiàn)代化;2012年04期

5 宋巍濤;胡斌;;一種適用于嵌套加密協(xié)議分析的強(qiáng)認(rèn)證測試方法[J];計算機(jī)科學(xué);2015年01期

6 李曉樂;翁鳴;龐原紅;;行為原語自動生成的電子商務(wù)協(xié)議可組合設(shè)計策略及應(yīng)用研究[J];計算機(jī)應(yīng)用與軟件;2015年06期

7 余磊;魏仕民;卓澤朋;;認(rèn)證測試中協(xié)議主體串參數(shù)一致性研究[J];計算機(jī)工程與應(yīng)用;2015年13期

8 劉家芬;;基于串空間理論的安全協(xié)議自動驗(yàn)證[J];計算機(jī)應(yīng)用;2015年07期

9 周清雷;毋曉英;;認(rèn)證測試方法的擴(kuò)展及其應(yīng)用[J];鄭州大學(xué)學(xué)報(工學(xué)版);2010年03期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 周由勝;門限密碼相關(guān)技術(shù)研究[D];北京郵電大學(xué);2011年

2 呂慶聰;普適計算語義服務(wù)發(fā)現(xiàn)與服務(wù)組合研究[D];東華大學(xué);2009年

3 郭顯;移動Ad Hoc網(wǎng)絡(luò)安全路由協(xié)議設(shè)計與分析技術(shù)研究[D];蘭州理工大學(xué);2011年

【二級參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 周展飛,周典萃,王貴林,卿斯?jié)h;電子商務(wù)協(xié)議的公平性[J];電子學(xué)報;2000年09期

2 劉道斌,郭莉,白碩;基于Petri網(wǎng)的安全協(xié)議形式化分析[J];電子學(xué)報;2004年11期

3 陶志紅,Hans KleineBu，

本文編號：519654