|
|||||
|
|
| 群组密钥协商协议的安全性分析方法研究 | |
| 引用本文： | 赵秀凤,徐秋亮,韦大伟.群组密钥协商协议的安全性分析方法研究[J].计算机科学,2011,38(6):145-148. |
| 作者姓名： | 赵秀凤 徐秋亮 韦大伟 |
| 作者单位： | 1. 信息工程大学电子技术学院,郑州,450004;山东大学计算机科学与技术学院,济南,250101 2. 山东大学计算机科学与技术学院,济南,250101 3. 信息工程大学电子技术学院,郑州,450004 |
| 基金项目： | 本文受国家自然科学基金(60873232)资助。 |
| 摘 要： | 群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥，设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法，详细讨论了计算复杂性方法中的关键技术，包括基于规约的证明技术及基于模拟的证明技术、基于规约的安全模型和基于模拟的安全模型，探讨了安全性分析方法的发展趋势。 |
| 关 键 词： | 密钥协商，可证明安全，安全模型，规约，模拟，UC框架 |
Security Analysis Approaches for Group Key Agreement Protocols |
|
| ZHAO Xiu-feng,XU Qiu-liang,WEI Da-Wei.Security Analysis Approaches for Group Key Agreement Protocols[J].Computer Science,2011,38(6):145-148. | |
| Authors: | ZHAO Xiu-feng XU Qiu-liang WEI Da-Wei |
| Affiliation: | (Institute of Electronic Technology, Information Engineering University, Zhengzhou 450004, China);(School of Computer Science and Technology,Shandong University,Jinan 250101,China) |
| Abstract: | Group Key agreement allows multi users to establish a common session key though insecure channels. Designing secure group key agreement protocols is one of the most fundamental cryptographic tasks. This paper introduced two approaches developed for analyzing security group key agreement protocols: computational complexity approach and formal analysis approach. The key technologies of computational complexity approach were discussed, including the proof technology based on reduction and simulatability, and security models based on reduction and simulatability. The trends in this field were presented. |
| Keywords: | Key agreement Provably secure Security model Reduction Simulatablility UC framework |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |