本文關鍵詞：基于原語自動生成的安全協議組合設計策略及應用研究

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

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

【參考文獻】

中國期刊全文數據庫 前10條

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

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

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

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

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

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

7 楊帆;李彤;曹奇英;;應用組合方法設計普適計算網絡安全協議[J];計算機應用研究;2009年03期

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

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

10 余磊;魏仕民;;協議主體密鑰在測試組件構造上的性質分析[J];計算機工程與應用;2013年06期

【共引文獻】

中國期刊全文數據庫 前9條

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

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

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

4 文雙舉;;Kaman協議的形式化驗證[J];計算機與現代化;2012年04期

5 宋巍濤;胡斌;;一種適用于嵌套加密協議分析的強認證測試方法[J];計算機科學;2015年01期

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

7 余磊;魏仕民;卓澤朋;;認證測試中協議主體串參數一致性研究[J];計算機工程與應用;2015年13期

8 劉家芬;;基于串空間理論的安全協議自動驗證[J];計算機應用;2015年07期

9 周清雷;毋曉英;;認證測試方法的擴展及其應用[J];鄭州大學學報(工學版);2010年03期

中國博士學位論文全文數據庫 前3條

1 周由勝;門限密碼相關技術研究[D];北京郵電大學;2011年

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

3 郭顯;移動Ad Hoc網絡安全路由協議設計與分析技術研究[D];蘭州理工大學;2011年

【二級參考文獻】

中國期刊全文數據庫 前10條

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

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

3 陶志紅,Hans KleineBu，

本文編號：519654