eCK模型的安全性分析

J4 ›› 2013, Vol. 48 ›› Issue (7): 46-50.

eCK模型的安全性分析

倪亮1,2,3,陈恭亮3,李建华3

1.中原工学院计算机学院, 河南郑州 450007;
2.计算机信息系统安全评估河南省工程实验室, 河南郑州 450007;
3.上海交通大学信息安全工程学院, 上海 200240

收稿日期:2013-06-17 发布日期:2013-12-03
作者简介:倪亮(1975- ),男,讲师,博士,研究方向为信息网络安全,保密通信,密码. Email:niliang402@126.com
基金资助:
国家自然科学基金资助项目(B1100B, 61171173);国家重点基础研究发展计划项目(2010CB731403, 2010CB731406);信息内容安全管理创新基地基金资助项目(TS0010303001);信息内容分析技术国家工程实验室基金资助项目(GT036001)；河南省科技厅攻关项目(132102310284, 132102210186)

Security analysis of the eCK model

NI Liang1,2,3, CHEN Gong-liang3, LI Jian-hua3

1. School of Computer Science, Zhongyuan University of Technology, Zhengzhou 450007, Henan, China;
2. Henan Province Engineering Laboratory of Computer Information System Security Assessment, Zhengzhou 450007,
Henan, China; 3. School of Information Security Engineering, Shanghai Jiaotong University, Shanghai 200240, China

Received:2013-06-17 Published:2013-12-03

摘要/Abstract

摘要：

认证密钥协商协议应该尽可能多地具备良好的安全性质以满足实际的需求。作为最近提出的一种设计和分析两方认证密钥协商协议的形式化方法,eCK模型正受到越来越多的关注,而其所能提供的确切安全保证值得深入探究。由此,对eCK模型定义和有关认证密钥协商协议基本良好安全性质之间的关系进行了详细分析。结论表明在eCK模型下可证明安全的认证密钥协商协议具备大多数基本的良好安全性质。据此总结了eCK模型的优势和不足。

关键词: 认证密钥协商协议;eCK模型;可证明安全性

Abstract:

Authenticated key agreement (AKA) protocol should capture desirable security properties as many as possible. As a formal method recently proposed to design and analyze two-party AKA protocols, the eCK model is currently receiving more and more attention, and the exact security guarantees that can be provided by this model are worthy of in-depth research. Hence, the relationship between the eCK model and the basic desirable security properties for AKA protocols is analyzed in detail. The conclusions indicate that AKA protocols with provable security in the eCK model capture most basic desirable security properties. Thereafter, the advantages and disadvantages of the eCK model are also summarized.

Key words: authenticated key agreement protocol; eCK model; provable security

中图分类号:

TP309

倪亮1,2,3,陈恭亮3,李建华3. eCK模型的安全性分析[J]. J4, 2013, 48(7): 46-50.

NI Liang1,2,3, CHEN Gong-liang3, LI Jian-hua3. Security analysis of the eCK model[J]. J4, 2013, 48(7): 46-50.

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed