您的位置： 专家智库 > >

赵媛莉

作品数：1 被引量：2H指数：1
供职机构：空军工程大学防空反导学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有色PETR...
  • 1篇函数
  • 1篇安全协议
  • 1篇安全协议分析
  • 1篇改进型

机构

  • 1篇空军工程大学

作者

  • 1篇李续武
  • 1篇张卉
  • 1篇赵媛莉
  • 1篇校云超

传媒

  • 1篇计算机工程与...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
改进型有色Petri网的安全协议分析被引量：2
2013年
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析。实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题。
张卉李续武赵媛莉校云超
关键词：有色PETRI网安全协议
全选 清除 导出
共1页<1>
聚类工具0