本文選題：認證郵件協(xié)議 + 組合協(xié)議分析　； 參考：《電子科技大學學報》2013年02期

【摘要】：認證郵件協(xié)議需要滿足保密性、公平性、可追究性等安全屬性。針對一個典型的認證郵件協(xié)議在保密性、可追究性上存在的安全缺陷,對其進行了改進,提出了一個基于離線半可信第三方的認證郵件協(xié)議。同時,為更有效地分析協(xié)議的安全屬性,對如何在組合協(xié)議分析框架下應用Kailar邏輯分析公平交換協(xié)議安全屬性的方法進行了研究。利用該方法分析了改進后的協(xié)議,并證明了該協(xié)議具有滿足保密性、可追究性等安全屬性的特點。
[Abstract]:Authentication mail protocols need to meet the security attributes of confidentiality, fairness, accountability and so on. Aiming at the security defects of a typical authentication mail protocol in confidentiality and accountability, this paper improves it and proposes an authentication mail protocol based on offline semi-trusted third party. At the same time, in order to analyze the security attribute of the protocol more effectively, the method of how to use Kailar logic to analyze the security attribute of fair exchange protocol under the framework of combinatorial protocol analysis is studied. The improved protocol is analyzed by this method, and it is proved that the protocol can satisfy the security properties such as confidentiality and accountability.
【作者單位】： 西南交通大學信息安全與國家計算網(wǎng)格實驗室;四川師范大學計算機科學學院;成都信息工程學院網(wǎng)絡工程學院;
【基金】：四川省教育廳重點項目基金(10ZA009)
【分類號】：TP393.04

【參考文獻】

相關期刊論文 前2條

1 周典萃 ,卿斯?jié)h ,周展飛;一種分析電子商務協(xié)議的新工具[J];軟件學報;2001年09期

2 卿斯?jié)h;一種電子商務協(xié)議形式化分析方法[J];軟件學報;2005年10期

【共引文獻】

相關期刊論文 前6條

1 周敏;;基于ASP語言的電子商務安全性分析[J];軟件導刊;2008年10期

2 卿斯?jié)h;安全協(xié)議20年研究進展[J];軟件學報;2003年10期

3 卿斯?jié)h;電子商務協(xié)議中的可信第三方角色[J];軟件學報;2003年11期

4 卿斯?jié)h;一種電子商務協(xié)議形式化分析方法[J];軟件學報;2005年10期

5 王濤,郭荷清,姚松濤;一個安全協(xié)議度量方法及其應用[J];計算機工程與設計;2005年03期

6 劉宏偉;謝維信;喻建平;張鵬;;基于身份的公平不可否認協(xié)議[J];通信學報;2009年07期

相關會議論文 前1條

1 郭華;莊雷;;電子商務協(xié)議的形式化驗證方法及FR驗證實例[A];2005年全國理論計算機科學學術年會論文集[C];2005年

相關博士學位論文 前10條

1 楊鵬;基于廣義隨機Petri網(wǎng)理論的SIP的研究[D];蘭州理工大學;2009年

2 李磊;非否認協(xié)議關鍵技術研究[D];西安電子科技大學;2010年

3 陳莉;電子商務安全協(xié)議的設計與分析[D];解放軍信息工程大學;2009年

4 陳明;樂觀公平交換協(xié)議形式化邏輯及其自動證明技術[D];重慶大學;2011年

5 周永彬;PKI理論與應用技術研究[D];中國科學院研究生院（軟件研究所）;2004年

6 邢育紅;公平交換協(xié)議分析方法研究[D];山東大學;2005年

7 文靜華;電子商務協(xié)議形式化方法及模型檢測技術的研究與應用[D];貴州大學;2006年

8 龍士工;串空間理論及其在安全協(xié)議分析中的應用研究[D];貴州大學;2007年

9 馮國柱;PKI關鍵技術研究及其應用[D];國防科學技術大學;2006年

10 陶宏才;安全協(xié)議結構及其范式研究[D];西南交通大學;2007年

相關碩士學位論文 前10條

1 付夷山;無線安全可信接入平臺的設計與實現(xiàn)[D];北京郵電大學;2011年

2 計宏霖;基于UPPAAL的電子商務協(xié)議安全性分析[D];解放軍信息工程大學;2008年

3 魏剛;基于知識和信念模型的電子商務協(xié)議分析[D];燕山大學;2012年

4 何成;電子商務協(xié)議的邏輯分析與研究[D];西安理工大學;2002年

5 王昌晶;信息安全若干關鍵技術的研究與應用[D];江西師范大學;2004年

6 李艷平;不可否認協(xié)議及其應用的研究[D];陜西師范大學;2004年

7 何加亮;形式化邏輯方法在分析認證協(xié)議以及電子商務協(xié)議中的應用[D];吉林大學;2004年

8 施勇;SET協(xié)議的安全機制研究與形式化分析[D];哈爾濱工程大學;2004年

9 代新敏;網(wǎng)絡安全協(xié)議的形式化描述與驗證[D];重慶大學;2004年

10 鄧珍榮;基于串空間模型的協(xié)議驗證技術研究[D];廣西大學;2005年

【二級參考文獻】

相關期刊論文 前5條

1 周典萃,卿斯?jié)h,周展飛;Kailar邏輯的缺陷[J];軟件學報;1999年12期

2 周典萃 ,卿斯?jié)h ,周展飛;一種分析電子商務協(xié)議的新工具[J];軟件學報;2001年09期

3 卿斯?jié)h;安全協(xié)議的設計與邏輯分析[J];軟件學報;2003年07期

4 卿斯?jié)h;電子商務協(xié)議中的可信第三方角色[J];軟件學報;2003年11期

5 卿斯?jié)h;一種電子商務協(xié)議形式化分析方法[J];軟件學報;2005年10期

【相似文獻】

相關期刊論文 前10條

1 趙娟;郭平;王玉柱;;SET協(xié)議的可追究性分析與改進[J];后勤工程學院學報;2008年01期

2 劉慶華;周小燕;;電子商務協(xié)議可追究性的Kailar分析與改進[J];中國市場;2008年15期

3 石曙東,李之棠;一種新型的安全協(xié)議分析邏輯[J];小型微型計算機系統(tǒng);2004年12期

4 周典萃 ,卿斯?jié)h ,周展飛;一種分析電子商務協(xié)議的新工具[J];軟件學報;2001年09期

5 周勇;朱梧i，

本文編號：1931756