|
|||||
|
|
| 群组密钥协商协议的安全性分析方法研究 | |
| 作者姓名： | 赵秀凤 徐秋亮 韦大伟 |
| 作者单位： | 1. 信息工程大学电子技术学院,郑州,450004;山东大学计算机科学与技术学院,济南,250101 2. 山东大学计算机科学与技术学院,济南,250101 3. 信息工程大学电子技术学院,郑州,450004 |
| 基金项目： | 本文受国家自然科学基金(60873232)资助。 |
| 摘 要： | 群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法,详细讨论了计算复杂性方法中的关键技术,包括基于规约的证明技术及基于模拟的证明技术、基于规约的安全模型和基于模拟的安全模型,探讨了安全性分析方法的发展趋势。 |
| 关 键 词： | 密钥协商 可证明安全 安全模型 规约 模拟 UC框架 |
| 本文献已被 万方数据 等数据库收录！ | |