您的位置： 专家智库 > >

国家自然科学基金(68973040)

作品数：1 被引量：0H指数：0
相关作者：赵东明周清雷贾立伟更多>>
相关机构：河南职工医学院郑州大学更多>>
发文基金：国家自然科学基金河南省教育厅基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇串空间
  • 1篇串空间模型

机构

  • 1篇郑州大学
  • 1篇河南职工医学...

作者

  • 1篇贾立伟
  • 1篇周清雷
  • 1篇赵东明

传媒

  • 1篇计算机应用与...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于串空间模型的多协议猜测攻击验证分析
2009年
对安全协议进行猜测攻击,如果攻击者不能正确猜测用户秘密,那么他就会设法使用其他的信息来验证这种猜测。过去仅考虑了协议在独立执行的时候所遭受到的攻击。现引入一种新类型攻击称为多协议猜测攻击,它可以存在于混合协议中。接着,采用程序化分析方法对协议可能遭受到的猜测攻击进行了分析即协议的脆弱性分析。最后,加入一定的限制条件并使用串空间建模,进而保证了协议的安全性即协议的健壮性验证。
周清雷贾立伟赵东明
关键词：串空间形式化分析
全选 清除 导出
共1页<1>
聚类工具0