计算可靠且高效的群组密钥协商协议符号化分析方法
Computationally Sound and Effective Symbolic Analysis of Group Key Exchange Protocols作者机构：北京理工大学计算机学院北京100081 海军装备研究院北京100161
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：2012年第35卷第4期
页 面：664-672页
核心收录：
学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金(61003262 60873237)资助~~
主 题：计算可靠 高效 符号化分析 通用可组合 群组密钥协商
摘 要：符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率.
维普期刊数据库
同方期刊数据库