您的位置： 专家智库 > >

吉毅

作品数：5 被引量：1H指数：1
供职机构：北京航空航天大学更多>>
发文基金：国防基础科研计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 4篇网络
  • 3篇网络安全
  • 3篇网络安全风险
  • 3篇网络安全风险...
  • 3篇谓词逻辑
  • 3篇安全风险评估
  • 2篇软件漏洞
  • 2篇漏洞
  • 2篇均衡点
  • 2篇博弈
  • 2篇博弈理论
  • 1篇多目标决策
  • 1篇形式化
  • 1篇形式化描述
  • 1篇知识库
  • 1篇网络对抗
  • 1篇网络管理
  • 1篇网络管理员
  • 1篇面向网络
  • 1篇计算机

机构

  • 5篇北京航空航天...

作者

  • 5篇吉毅
  • 3篇夏春和
  • 3篇王海泉
  • 2篇张成
  • 2篇何巍
  • 2篇李肖坚
  • 1篇吕艳丽
  • 1篇闻丹岩
  • 1篇屠守中
  • 1篇马心意

传媒

  • 1篇微计算机信息

年份

  • 1篇2012
  • 1篇2010
  • 2篇2009
  • 1篇2008
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
面向仿真的网络攻击知识描述技术被引量：1
2008年
提出了一种面向网络安全仿真的攻击知识模型。该模型对一次攻击的前因后果以及攻击动作进行建模,为攻击想定关联多步骤攻击提供了支持,同时也能够在网络安全仿真平台中产生攻击。攻击命令解释器作为攻击模块与仿真平台GTNetS的接口,接受攻击命令并解释相应的攻击知识中的动作部分,然后调用平台函数执行攻击仿真。
屠守中王海泉吉毅
关键词：GTNETS
基于博弈理论的网络安全风险评估系统
本发明公开了一种基于博弈理论的网络安全风险评估系统，该系统首先从被评估网络中采集网络属性数据，包括节点的地址、服务、应用程序、开放端口、软件漏洞等信息，并使用一阶谓词逻辑描述，使用XSB推理引擎基于上述描述遵循谓词逻辑进...
夏春和何巍李肖坚王海泉张成吉毅
文献传递
面向网络安全风险评估的基于一阶逻辑谓词推理的自动化威胁确定方法
本发明公开了一种面向网络安全风险评估的基于一阶逻辑谓词推理的自动化威胁确定方法，该方法用一阶谓词逻辑描述语言Datalog形式化描述网络安全状态信息和攻击规则知识库信息，利用逻辑推理引擎XSB进行自动推理，通过分析推理结...
夏春和吉毅闻丹岩吕艳丽马心意
文献传递
基于博弈理论的网络安全风险评估系统
本发明公开了一种基于博弈理论的网络安全风险评估系统，该系统首先从被评估网络中采集网络属性数据，包括节点的地址、服务、应用程序、开放端口、软件漏洞等信息，并使用一阶谓词逻辑描述，使用XSB推理引擎基于上述描述遵循谓词逻辑进...
夏春和何巍李肖坚王海泉张成吉毅
文献传递
计算机网络对抗攻击方案评选系统的研究与实现
吉毅
关键词：计算机网络对抗多目标决策
全选 清除 导出
共1页<1>
聚类工具0