發(fā)布時間：2020-02-20 02:07

【摘要】：認證密鑰協(xié)商協(xié)議應該盡可能多地具備良好的安全性質(zhì)以滿足實際的需求。作為最近提出的一種設計和分析兩方認證密鑰協(xié)商協(xié)議的形式化方法,eCK模型正受到越來越多的關注,而其所能提供的確切安全保證值得深入探究。由此,對eCK模型定義和有關認證密鑰協(xié)商協(xié)議基本良好安全性質(zhì)之間的關系進行了詳細分析。結論表明在eCK模型下可證明安全的認證密鑰協(xié)商協(xié)議具備大多數(shù)基本的良好安全性質(zhì)。據(jù)此總結了eCK模型的優(yōu)勢和不足。

【相似文獻】

相關期刊論文 前10條

1 胡焰智;馬大瑋;田增山;;一種匿名認證密鑰協(xié)商協(xié)議[J];計算機應用研究;2009年08期

2 陳偉東,馮登國;簽密方案在分布式協(xié)議中的應用[J];計算機學報;2005年09期

3 馮登國;可證明安全性理論與方法研究[J];軟件學報;2005年10期

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

5 王濱;郭云飛;張建輝;蘭巨龍;;基于PSS算法的可證明安全順序聚合簽名算法[J];武漢大學學報(理學版);2010年04期

6 陳偉東,馮登國,譚作文;指定驗證方的門限驗證簽名方案及安全性證明[J];軟件學報;2005年11期

7 劉憶寧;陳素霞;吳亮;;VRF函數(shù)的安全性證明[J];計算機工程與設計;2008年16期

8 胡亮;初劍峰;林海群;袁巍;趙闊;;IBE體系的密鑰管理機制[J];計算機學報;2009年03期

9 龔晶;何敏;鄧元慶;劉斌;;基于網(wǎng)絡的量子身份認證方案[J];量子光學學報;2009年04期

10 鄂冬娜;閆振天;陳庶民;馬傳貴;;可證安全的口令認證/密鑰交換協(xié)議的研究動態(tài)[J];信息工程大學學報;2010年03期

相關碩士學位論文 前6條

1 楊增福;基于Diffie-Hellman方法的密鑰協(xié)商協(xié)議的設計與分析[D];鄭州大學;2012年

2 匡華清;認證密鑰協(xié)商協(xié)議及其安全研究[D];湖南大學;2006年

3 張志軍;高效的安全群組通信系統(tǒng)與密鑰協(xié)商協(xié)議研究[D];解放軍信息工程大學;2009年

4 毛江棟;動態(tài)對等群中群組密鑰協(xié)商方案的研究[D];解放軍信息工程大學;2009年

5 何小虎;基于云計算的安全協(xié)議分析與設計[D];電子科技大學;2012年

6 王鑫;基于辮群的比特承諾協(xié)議[D];西華大學;2011年

，

本文編號：2581181