您的位置: 专家智库 > >

王峰

作品数:1 被引量:2H指数:1
供职机构:中国人民解放军海军装备研究院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇通用可组合
  • 1篇群组
  • 1篇群组密钥
  • 1篇群组密钥协商
  • 1篇组密钥
  • 1篇组密钥协商
  • 1篇密钥协商

机构

  • 1篇北京理工大学
  • 1篇中国人民解放...

作者

  • 1篇廖乐健
  • 1篇祝烈煌
  • 1篇张子剑
  • 1篇王峰

传媒

  • 1篇计算机学报

年份

  • 1篇2012
1 条 记 录,以下是 1-1
排序方式:
计算可靠且高效的群组密钥协商协议符号化分析方法被引量:2
2012年
符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率.
张子剑祝烈煌王峰廖乐健
关键词:通用可组合群组密钥协商
共1页<1>
聚类工具0