您的位置： 专家智库 > >

谢君

作品数：4 被引量：7H指数：1
供职机构：国防科学技术大学更多>>
相关领域：自动化与计算机技术环境科学与工程更多>>

合作作者

文献类型

  • 3篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...
  • 1篇环境科学与工...

主题

  • 3篇代码
  • 3篇中间代码
  • 3篇状态机
  • 3篇外部数据
  • 3篇漏洞
  • 3篇插桩
  • 2篇漏洞检测
  • 2篇进制
  • 2篇二进制
  • 2篇二进制代码
  • 1篇源代码
  • 1篇概率风险评价

机构

  • 4篇国防科学技术...

作者

  • 4篇谢君
  • 3篇张斌
  • 3篇王晓磊
  • 1篇沙红兵
  • 1篇谭跃进

传媒

  • 1篇中国安全科学...

年份

  • 3篇2024
  • 1篇1998
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于值流状态机的源代码漏洞检测方法、装置及设备
本申请涉及一种基于值流状态机的源代码漏洞检测方法、装置及设备，通过对表示格式为源代码的待检测程序进行预处理得到对应的中间代码，在中间代码中确定外部数据引入点，并根据中间代码构建得到静态值流图，基于静态值流图，将外部数据引...
张斌王晓磊谢君
基于值流状态机的二进制代码漏洞检测方法、装置及设备
本申请涉及一种基于值流状态机的二进制代码漏洞检测方法、装置及设备，通过对待检测程序进行预处理得到对应的中间代码，在中间代码中确定外部数据引入点，并根据中间代码构建得到静态值流图，基于静态值流图，将外部数据引入点作为数据源...
张斌王晓磊谢君
因果分析与系统安全性风险评价方法被引量：7
1998年
综合了故障树分析和事件树分析的方法，提出因果分析的框架，研究了基于因果分析建立事故脚本的方法。在此基础上，还对因果分析的概率风险评价方法进行研究，并利用该评价方法，对电机过热的安全性问题进行分析。
沙红兵谢君谭跃进
关键词：概率风险评价
基于值流状态机的二进制代码漏洞检测方法、装置及设备
本申请涉及一种基于值流状态机的二进制代码漏洞检测方法、装置及设备，通过对待检测程序进行预处理得到对应的中间代码，在中间代码中确定外部数据引入点，并根据中间代码构建得到静态值流图，基于静态值流图，将外部数据引入点作为数据源...
张斌王晓磊谢君
全选 清除 导出
共1页<1>
聚类工具0