eCK模型下的密钥协商

• 作者: 周福才 常桂然 柳秀梅 薛丽芳 高克宁
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 认证密钥协商 eCK模型 CDH假设 形式化证明
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 信息安全
• 页码范围: 172-177
• 页数: 6页
• 分类号: TP393.08
• 字数: 8258字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2014.08.038

摘要

如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一.目前安全协议只能达到“启发式”安全,协议的安全假设也不够理想.针对这一问题,提出了基于计算性假设(CDH)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协议在eCK模型下是安全的,更好地支持了敌手的询问.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	常桂然	东北大学计算中心	98	1335	19.0	33.0
2	周福才	东北大学软件学院	75	621	14.0	22.0
3	柳秀梅	东北大学计算中心	9	35	4.0	5.0
4	高克宁	东北大学计算中心	33	239	6.0	14.0
5	薛丽芳	东北大学计算中心	8	20	3.0	4.0