计算可靠且高效的群组密钥协商协议符号化分析方法

• 作者: 廖乐健 张子剑 王峰 祝烈煌
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 计算可靠 高效 符号化分析 通用可组合 群组密钥协商
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 664-672
• 分类号: TP309
• 字数: 8105字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2012.00664

摘要

符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖乐健	北京理工大学计算机学院	34	341	9.0	17.0
2	祝烈煌	北京理工大学计算机学院	29	219	6.0	14.0
3	张子剑	北京理工大学计算机学院	4	9	2.0	3.0
4	王峰		5	22	3.0	4.0