摘要:
针对现有的三方认证密钥交换协议缺乏严格安全证明的问题,研究三方密钥交换协议的安全模型。将两方认证密钥交换协议的强安全模型eCK模型推广至三方,同时考虑内部人攻击,定义强三方认证密钥交换协议安全模型,提出一个具体三方认证密钥交换协议并给出其在强安全模型中的安全性证明。
关键词:
三方认证密钥交换协议,
eCK安全模型,
GBDH问题,
内部人攻击
Abstract:
Currently there are few tripartite Authenticated Key Exchange(AKE) protocols which have a formal security proof. Aiming at this problem, this paper investigates the security model for the tripartite AKE protocols. A strong security model named enhanced Canetti- Krawczyk(eCK) model for two-party AKE protocols is proposed. A strong security model for three-party AKE protocols is introduced which generalizes the eCK model for two-party setting, and the insider attack is taken into account. It presents a new tripartite AKE protocol and shows that the protocol is provably secure in the strong security model.
Key words:
tripartite Authenticated Key Exchange(AKE) protocol,
enhanced Canetti-Krawczyk(eCK) security model,
GBDH problem,
insider attack
中图分类号:
王元元, 曹珍富, 黄海. 强安全三方认证密钥交换协议[J]. 计算机工程, 2010, 36(14): 141-143.
WANG Yuan-Yuan, CAO Zhen-Fu, HUANG Hai. Stronger Security Tripartite Authenticated Key Exchange Protocol[J]. Computer Engineering, 2010, 36(14): 141-143.