公平认证密钥交换协议的安全模型与模块化设计

作     者：冯登国 陈伟东 

作者机构：信息安全国家重点实验室(中国科学院软件研究所)北京100080 

基　　金：国家自然科学基金(批准号:60673083) 国家重点基础研究发展计划(批准号:2007CB311202)资助项目 

出 版 物：《中国科学（F辑:信息科学）》 (SCIENCE IN CHINA(INFORMATION SCIENCES))

年 卷 期：2009年第39卷第10期

页      码：1055-1062页

摘      要：传统的密钥交换协议通常假定合法通信双方都是可信的,然而很多现实应用都要求通信双方在互不信任的环境中执行认证密钥交换协议,为此本文提出了公平认证密钥交换(FAKE)的思想:除了具有一般认证密钥交换协议的基本特点外,通过客户在协议会话中预先植入"会话证据",使得在不揭示会话证据的前提下,合法通信双方均可以否认会话的发生;一旦客户方揭示会话证据,则协议会话记录就会与通信双方的身份绑定.该思想为解决网络服务中保护个人隐私与处理网络服务纠纷的矛盾提供了一种切实可行的技术解决思路.文中系统规划了公平认证密钥交换协议的形式化安全模型,纠正了Kudla关于并发签名公平性安全模型存在的错误之处,利用并发签名具体构造了一个公平认证密钥交换协议,并在随机预言模型(ROM)中证明了该协议满足mBJM-AK安全性、条件可否认性以及公平性.

主 题 词：认证密钥交换协议 可否认性 公平性 并发数字签名 可证明安全性 

学科分类：11[军事学] 1105[1105] 0839[0839] 08[工学] 110505[110505] 110503[110503] 

馆 藏 号：203387808...