| eCK模型下的密钥协商 |
| |
| 引用本文： | 柳秀梅,高克宁,薛丽芳,常桂然,周福才.eCK模型下的密钥协商[J].计算机科学,2014,41(8):172-177. |
| |
| 作者姓名： | 柳秀梅 高克宁 薛丽芳 常桂然 周福才 |
| |
| 作者单位： | 东北大学计算中心 沈阳110819;东北大学计算中心 沈阳110819;东北大学计算中心 沈阳110819;东北大学计算中心 沈阳110819;东北大学软件学院 沈阳110819 |
| |
| 基金项目： | 本文受国家自然科学基金资助 |
| |
| 摘 要： | 如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一。目前安全协议只能达到"启发式"安全,协议的安全假设也不够理想。针对这一问题,提出了基于计算性假设(CDH)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协议在eCK模型下是安全的,更好地支持了敌手的询问。
|
| 关 键 词： | 认证密钥协商 eCK模型 CDH假设 形式化证明 |
| 收稿时间： | 2013/10/24 0:00:00 |
| 修稿时间： | 2014/1/12 0:00:00 |
Authenticated Key Exchange in eCK Model |
| |
| LIU Xiu-mei,GAO Ke-ning,XUE Li-fang,CHANG Gui-ran and ZHOU Fu-cai.Authenticated Key Exchange in eCK Model[J].Computer Science,2014,41(8):172-177. |
| |
| Authors: | LIU Xiu-mei GAO Ke-ning XUE Li-fang CHANG Gui-ran and ZHOU Fu-cai |
| |
| Affiliation: | Computing Center,Northeastern University,Shenyang 110819,China;Computing Center,Northeastern University,Shenyang 110819,China;Computing Center,Northeastern University,Shenyang 110819,China;Computing Center,Northeastern University,Shenyang 110819,China;Software College,Northeastern University,Shenyang 110819,China |
| |
| Abstract: | |
| |
| Keywords: | Authenticated key exchange eCK model CDH assumption Formal proof |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
