【摘 要】
：
符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.
【机 构】
：
北京理工大学计算机学院,海军装备研究院
论文部分内容阅读
符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与
其他文献
文中基于补库所理论提出了活性控制器设计方法．首先，利用容量函数K将原Petri网N转变为有限容量网丙，再通过逐一增加K值得到具有最大可达集的容量函数Kmax，然后根据Kmax添加一组补
目的探讨先天性人巨细胞病毒(HCMV)感染所致的肝损伤及相关血清标志物的意义,为早期诊断及防治提供参考。方法孕鼠腹腔注射HCMV悬液,以其子鼠为先天性HCMV感染模型,健康大鼠
该文针对两大类循环分别给出了非终止性判定的数学方法．首先，针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法．通过递推链代数将循环变量进行统一表示，根据
<正>2016年新年以来,虽然受春节备货预期支撑,国内鸡蛋现货市场呈现偏强状态,报价较为坚挺,但期货市场主力1605合约走势较为疲弱。随着前期的利多因素被市场消化,春节前鸡蛋
构建结果子树是XML关键字查询得以完成的关键步骤之一.针对已有方法求解子树效率低的问题,文中提出一种自顶向下的子树构建算法——TDTMS.TDTMS以自顶向下、深度优先的方式求