您的位置: 专家智库 > >

校云超

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

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇改进型
  • 1篇有色PETR...
  • 1篇属性约简
  • 1篇函数
  • 1篇安全协议
  • 1篇安全协议分析

机构

  • 2篇空军工程大学
  • 1篇空军后勤学院

作者

  • 2篇李续武
  • 2篇校云超
  • 1篇翟兴隆
  • 1篇张卉
  • 1篇赵援莉
  • 1篇赵媛莉

传媒

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

年份

  • 1篇2014
  • 1篇2013
2 条 记 录,以下是 1-2
排序方式:
改进型有色Petri网的安全协议分析被引量:2
2013年
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析。实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题。
张卉李续武赵媛莉校云超
关键词:有色PETRI网安全协议
不完备灰色信息系统属性约简被引量:1
2014年
在研究分析灰色信息系统中灰数、灰相似度的基础上,定义了改进型灰色相似关系,建立了灰色粗糙集模型的一种扩展模型,给出了不完备灰色信息系统的处理过程和对象数据筛选算法,提出了一种灰色信息系统的属性约简算法,并通过算例进行了验证分析。
校云超李续武赵援莉翟兴隆
关键词:属性约简
共1页<1>
聚类工具0