群组密钥协商协议的安全性分析方法研究

• 作者: 徐秋亮 赵秀凤 韦大伟
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 密钥协商 可证明安全 安全模型 规约 模拟 UC框架
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 145-148,156
• 分类号: TP309
• 字数: 7077字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.06.034

摘要

群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一.介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法,详细讨论了计算复杂性方法中的关键技术,包括基于规约的证明技术及基于模拟的证明技术、基于规约的安全模型和基于模拟的安全模型,探讨了安全性分析方法的发展趋势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐秋亮	山东大学计算机科学与技术学院	96	895	14.0	27.0
2	赵秀凤	信息工程大学电子技术学院	6	27	3.0	5.0
6	韦大伟	信息工程大学电子技术学院	3	28	3.0	3.0