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

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

2 陳偉東,馮登國(guó);簽密方案在分布式協(xié)議中的應(yīng)用[J];計(jì)算機(jī)學(xué)報(bào);2005年09期

3 馮登國(guó);可證明安全性理論與方法研究[J];軟件學(xué)報(bào);2005年10期

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

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

6 陳偉東,馮登國(guó),譚作文;指定驗(yàn)證方的門限驗(yàn)證簽名方案及安全性證明[J];軟件學(xué)報(bào);2005年11期

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

8 胡亮;初劍峰;林海群;袁巍;趙闊;;IBE體系的密鑰管理機(jī)制[J];計(jì)算機(jī)學(xué)報(bào);2009年03期

9 龔晶;何敏;鄧元慶;劉斌;;基于網(wǎng)絡(luò)的量子身份認(rèn)證方案[J];量子光學(xué)學(xué)報(bào);2009年04期

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

相關(guān)碩士學(xué)位論文 前6條

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

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

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

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

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

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

，

本文編號(hào)：2581181