您的位置: 专家智库 > >

邱雪

作品数:2 被引量:0H指数:0
供职机构:北京航空航天大学更多>>

文献类型

  • 2篇中文专利

主题

  • 2篇网络
  • 2篇逻辑表达式
  • 2篇命题逻辑
  • 2篇精确化
  • 2篇计算机
  • 2篇计算机网
  • 2篇计算机网络
  • 2篇保护域
  • 1篇语法
  • 1篇语法解析
  • 1篇网络防御
  • 1篇可满足性
  • 1篇计算机网络防...
  • 1篇防御

机构

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

作者

  • 2篇夏春和
  • 2篇邱雪
  • 2篇罗杨
  • 2篇梁晓艳
  • 2篇魏昭

年份

  • 1篇2015
  • 1篇2013
2 条 记 录,以下是 1-2
排序方式:
计算机网络防御策略的转换一致性验证方法
计算机网络防御(CND)策略的转换一致性验证方法,步骤为:(1)首先进行策略预处理:对输入的策略描述文件和拓扑描述文件,利用lex/yacc工具生成的词法解析器和语法解析器对其进行解析,得到对于每一类动作处理的数据包范围...
夏春和罗杨魏昭邱雪梁晓艳
文献传递
计算机网络防御策略的转换一致性验证方法
计算机网络防御(CND)策略的转换一致性验证方法,步骤为:(1)首先进行策略预处理:对输入的策略描述文件和拓扑描述文件,利用lex/yacc工具生成的词法解析器和语法解析器对其进行解析,得到对于每一类动作处理的数据包范围...
夏春和罗杨魏昭邱雪梁晓艳
文献传递
共1页<1>
聚类工具0