您的位置： 专家智库 > >

谷大武

作品数：4 被引量：0H指数：0
供职机构：上海电力学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文专利

领域

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

主题

  • 4篇漏洞
  • 4篇漏洞检测
  • 2篇代数
  • 2篇代数系
  • 2篇代数系统
  • 2篇电网
  • 2篇智能电网
  • 2篇软件漏洞
  • 2篇实验环境
  • 2篇数据约束
  • 2篇数理逻辑
  • 2篇数系
  • 2篇自动机
  • 2篇自动机模型
  • 2篇唯一性
  • 2篇系统漏洞
  • 2篇逻辑

机构

  • 4篇上海电力学院

作者

  • 4篇成贵学
  • 4篇王威
  • 4篇吴亮
  • 4篇谷大武
  • 4篇王勇
  • 2篇姚刚
  • 2篇朱武
  • 2篇徐建平
  • 2篇李海明
  • 2篇黄亮亮

年份

  • 1篇2015
  • 1篇2014
  • 2篇2012
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
智能电网分区防护系统漏洞的格蕴含推理算法
本发明涉及一种智能电网分区防护系统漏洞的格蕴含推理算法，先根据智能电网分区防护系统实验环境构建格蕴含代数系统模型，然后采用概念格的方法描述模型中的漏洞，在此基础上构建格蕴含的自动推理系统，推理检验系统漏洞，最后通过实验系...
王勇王威吴亮谷大武李海明姚刚朱武徐建平成贵学
文献传递
一种基于行为特征自动机模型的软件漏洞检测方法
本发明涉及一种基于行为特征自动机模型的软件漏洞检测方法，该方法包括以下步骤：1)将具有数据约束的自动机模型从漏洞行为特征库中载入流程，建立具有数据约束的自动机模型；2)通过自动机模型将漏洞行为特征库中的行为特征序列转换成...
王勇王威谷大武吴亮成贵学黄亮亮
智能电网分区防护系统漏洞的格蕴含推理算法
本发明涉及一种智能电网分区防护系统漏洞的格蕴含推理算法，先根据智能电网分区防护系统实验环境构建格蕴含代数系统模型，然后采用概念格的方法描述模型中的漏洞，在此基础上构建格蕴含的自动推理系统，推理检验系统漏洞，最后通过实验系...
王勇王威吴亮谷大武李海明姚刚朱武徐建平成贵学
一种基于行为特征自动机模型的软件漏洞检测方法
本发明涉及一种基于行为特征自动机模型的软件漏洞检测方法，该方法包括以下步骤：1)将具有数据约束的自动机模型从漏洞行为特征库中载入流程，建立具有数据约束的自动机模型；2)通过自动机模型将漏洞行为特征库中的行为特征序列转换成...
王勇王威谷大武吴亮成贵学黄亮亮
文献传递
全选 清除 导出
共1页<1>
聚类工具0