您的位置： 专家智库 > >

丁萌伟

作品数：3 被引量：7H指数：2
供职机构：郑州大学信息工程学院更多>>
发文基金：国家自然科学基金河南省教育厅基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 3篇串空间
  • 2篇安全协议
  • 1篇密码
  • 1篇密码协议
  • 1篇X.509
  • 1篇串空间模型

机构

  • 3篇郑州大学

作者

  • 3篇周清雷
  • 3篇赵东明
  • 3篇丁萌伟

传媒

  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇微计算机信息

年份

  • 1篇2009
  • 2篇2008
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
串空间和认证测试在协议分析中的应用
2008年
串空间模型是一种新兴的密码协议形式化分析工具。分别采用串空间模型和认证测试这两种前沿的形式化分析方法对X.509协议的认证性进行了分析,指出了该协议在认证正确性方面存在的缺陷。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进的协议能够实现认证的正确性。通过比较发现应用认证测试方法分析安全协议,比单纯应用串空间模型更为简洁和直观。
丁萌伟周清雷赵东明
关键词：安全协议串空间X.509
Neuman-Stubblebine协议的串空间模型及分析被引量：3
2009年
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Neuman-Stubblebine协议进行了分析。分析结果证明该协议是安全的,而且理想对公开密钥算法和对称密钥算法产生的协议的分析都是有效的。
丁萌伟周清雷赵东明
关键词：安全协议串空间
Yahalom-Paulson协议的串空间模型与分析被引量：4
2008年
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Yahalom-Paulson协议进行了分析。分析结果证明该协议是安全的。
丁萌伟周清雷赵东明
关键词：密码协议串空间
全选 清除 导出
共1页<1>
聚类工具0