本文關鍵詞：高效安全性可證的雙輪雙方密鑰協(xié)商協(xié)議

  更多相關文章： 雙方密鑰 安全認證密鑰協(xié)商 eCK安全模型 安全性假設 形式化證明

【摘要】：在完全放開的網(wǎng)絡情況下,針對如何構(gòu)造安全和高效的密鑰協(xié)商協(xié)議,提出了一種雙輪雙方認證密鑰協(xié)商協(xié)議。利用密鑰協(xié)商出一個共同會話密鑰,將對兩方認證的新密鑰協(xié)商協(xié)議中兩個模型進行分析,得出構(gòu)造雙輪雙方密鑰協(xié)商協(xié)議的基本原則,再對于新形式的兩輪密鑰協(xié)商會議進行的形式化證明,此外構(gòu)造了一個三輪共同認證的可確認的密鑰協(xié)商協(xié)議。通過實驗性能分析表明,新協(xié)議在平衡計算量和安全性假設方面,取得了良好的效果。
【作者單位】： 合肥工業(yè)大學計算機與信息學院;滁州職業(yè)技術(shù)學院經(jīng)濟貿(mào)易系;
【關鍵詞】： 雙方密鑰 安全認證密鑰協(xié)商 eCK安全模型 安全性假設 形式化證明
【基金】：安徽省自然科學基金項目(090412051)
【分類號】：TP393.08
【正文快照】： 0引言完全放開的網(wǎng)絡情境下的雙方密鑰協(xié)商的問題中,如何保證協(xié)議的高效性和安全性,是一個亟待解決的問題[1]。Rogaway和Bellare[2-5]在1993年指出的BR模型,是已知的第一個密鑰模型。Rubin和Shoup[3]在之后將其向智能卡領域推廣。然后,Krawczyk以及Canetti[4]在2001年建立CK模

【參考文獻】

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

1 劉天華;朱宏峰;;一種基于樹結(jié)構(gòu)的分布式組密鑰協(xié)商協(xié)議[J];兵工學報;2012年06期

2 周藝華;劉亮;;基于TPM的單向匿名認證密鑰協(xié)商協(xié)議[J];北京工業(yè)大學學報;2012年09期

3 徐平;張方舟;張曉宇;馬西保;;基于移動網(wǎng)絡的端到端密鑰協(xié)商協(xié)議[J];東北石油大學學報;2012年04期

4 趙建杰;谷大武;;eCK模型下可證明安全的雙方認證密鑰協(xié)商協(xié)議[J];計算機學報;2011年01期

5 張龍翔;;改進的雙方密鑰協(xié)商協(xié)議[J];計算機應用;2012年11期

6 汪定;薛鋒;王立萍;馬春光;;改進的具有PFS特性的口令認證密鑰協(xié)商方案[J];山東大學學報(理學版);2012年09期

7 楊浩民;張堯?qū)W;周悅芝;;基于雙線性對的無證書兩方認證密鑰協(xié)商協(xié)議[J];清華大學學報(自然科學版);2012年09期

8 舒劍;;可證安全的無證書兩方認證密鑰協(xié)商協(xié)議[J];小型微型計算機系統(tǒng);2012年09期

9 陳澤茂;趙俊閣;李錚;;基于證書有效性憑據(jù)的UMTS認證和密鑰協(xié)商協(xié)議[J];武漢理工大學學報;2012年09期

【共引文獻】

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

1 舒劍;;基于簽密的認證密鑰協(xié)商協(xié)議分析與改進[J];計算機工程;2012年10期

2 史國川;夏良;李江衛(wèi);路守克;;身份基認證密鑰協(xié)商協(xié)議[J];計算機與數(shù)字工程;2012年04期

3 舒劍;;一種兩方認證密鑰協(xié)商方案的分析與改進[J];計算機應用研究;2011年12期

4 張龍翔;;改進的雙方密鑰協(xié)商協(xié)議[J];計算機應用;2012年11期

5 程慶豐;陸思奇;;兩個無證書兩方認證密鑰協(xié)商協(xié)議分析[J];洛陽師范學院學報;2013年05期

6 戚凌鈞;宋益眾;李萍萍;;改進IBE算法在無線網(wǎng)絡加密中的應用[J];科技通報;2013年07期

7 陶文君;胡斌;;一個可抵抗臨時指數(shù)泄露的密鑰協(xié)商協(xié)議形式化安全模型[J];計算機科學;2013年11期

8 王天成;;基于簽名的雙方密鑰協(xié)商協(xié)議[J];微電子學與計算機;2013年06期

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

1 程慶豐;密鑰交換協(xié)議及安全模型的分析與設計[D];解放軍信息工程大學;2011年

2 趙秀鳳;認證及密鑰協(xié)商協(xié)議設計與分析[D];山東大學;2012年

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

1 金志超;移動環(huán)境下輕量級RESTful Web服務安全協(xié)議研究與實現(xiàn)[D];華東理工大學;2013年

2 李坤;基于身份的認證密鑰協(xié)商協(xié)議研究[D];西安電子科技大學;2013年

3 黃后彪;機載無線移動自組網(wǎng)密鑰協(xié)商研究[D];解放軍信息工程大學;2013年

【二級參考文獻】

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

1 吳曉宇;李玉賢;韓佳霖;王丹;張方舟;;3G終端數(shù)據(jù)機密性服務設計[J];大慶石油學院學報;2011年02期

2 秦小龍,楊義先;強口令認證協(xié)議的組合攻擊[J];電子學報;2003年07期

3 曹雪菲;寇衛(wèi)東;樊凱;張軍;;無雙線性對的基于身份的認證密鑰協(xié)商協(xié)議[J];電子與信息學報;2009年05期

4 馮登國;陳偉東;;基于口令的安全協(xié)議的模塊化設計與分析[J];中國科學(E輯:信息科學);2007年02期

5 任勇軍;王建東;王箭;徐大專;莊毅;;標準模型下基于身份的認證密鑰協(xié)商協(xié)議[J];計算機研究與發(fā)展;2010年09期

6 馮登國;秦宇;汪丹;初曉博;;可信計算技術(shù)研究[J];計算機研究與發(fā)展;2011年08期

7 侯孟波;徐秋亮;;身份基認證密鑰協(xié)商協(xié)議的分析與改進[J];計算機工程與應用;2010年07期

8 秦波;伍前紅;王育民;王尚平;王曉峰;;密鑰協(xié)商協(xié)議進展[J];計算機科學;2008年09期

9 郭華;張帆;李舟軍;周曉娟;;對一個基于身份的密鑰協(xié)商協(xié)議的分析與改進[J];計算機科學;2010年10期

10 鄭宇,何大可,梅其祥;基于自驗證公鑰的3G移動通信系統(tǒng)認證方案[J];計算機學報;2005年08期

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

1 舒劍;認證密鑰協(xié)商協(xié)議的設計與分析[D];電子科技大學;2010年

2 鄭明輝;可證安全的組密鑰協(xié)商協(xié)議研究[D];華中科技大學;2008年

【相似文獻】

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

1 王元元;曹珍富;黃海;;強安全三方認證密鑰交換協(xié)議[J];計算機工程;2010年14期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文編號：1093568