作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2010, Vol. 36 ›› Issue (14): 141-143. doi: 10.3969/j.issn.1000-3428.2010.14.051

• 安全技术 • 上一篇    下一篇

强安全三方认证密钥交换协议

王元元,曹珍富,黄 海   

  1. (上海交通大学计算机科学与工程系,上海 200240)
  • 出版日期:2010-07-20 发布日期:2010-07-20
  • 作者简介:王元元(1986-),男,硕士研究生,主研方向:密钥交换协议;曹珍富,教授、博士生导师;黄 海,博士研究生
  • 基金资助:

    国家自然科学基金资助项目(60673079, 60773086)

Stronger Security Tripartite Authenticated Key Exchange Protocol

WANG Yuan-yuan, CAO Zhen-fu, HUANG Hai   

  1. (Dept. of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240)
  • Online:2010-07-20 Published:2010-07-20

摘要:

针对现有的三方认证密钥交换协议缺乏严格安全证明的问题,研究三方密钥交换协议的安全模型。将两方认证密钥交换协议的强安全模型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

中图分类号: