可证安全多方多因素认证密钥交换研究

项目名称： 可证安全多方多因素认证密钥交换研究

项目编号： No.61163053

项目类型： 地区科学基金项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 谭作文

作者单位： 江西财经大学

项目金额： 51万元

中文摘要： 可证安全在密码协议设计中是必不可少的。目前，对多方多因素认证密钥交换可证安全尚无系统研究。本项目拟开展这方面的研究：改进认证密钥交换eCK模型，建立能抵御中间结果泄露攻击的认证密钥交换安全模型；分别建立多用户环境、多服务器环境与交叉域环境下认证密钥交换增强安全模型；给出认证密钥交换私密性形式化定义，探讨基于身份密码学保持私密性的认证密钥交换可证安全理论；研究多用户环境、多服务器环境与交叉域环境下多因素互认证密钥交换可证安全理论：建立多方多因素互认证密钥交换安全模型，基于椭圆密码学、双线性密码学和其他密码学假设构造用户-服务器环境与多服务器环境下多因素互认证密钥交换协议，并依照正式的安全模型分别在随机预言模型和标准模型下给出协议严格紧致性证明。本项目有望奠定多方多因素密钥认证交换可证安全理论基础，增强多因素密钥认证交换技术在网络通信中的作用，所取得的研究成果也将有助于可证安全理论本身的发展。

中文关键词： 可证安全；认证密钥协商；随机预言模型；多因素认证；

英文摘要：

英文关键词： Provable security；Authenticated key agreement；Random Oracle model；Multi-factor authentication；