咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 混合分析技术
  • 1 篇 模糊测试
  • 1 篇 逻辑推证
  • 1 篇 形式化分析
  • 1 篇 动态二进制插桩
  • 1 篇 安全协议
  • 1 篇 二进制程序分析
  • 1 篇 控制流图(cfg)
  • 1 篇 模型检测

机构

  • 1 篇 中国科学院研究生...
  • 1 篇 国防科技大学

作者

  • 1 篇 黄晖
  • 1 篇 zhu kai-long
  • 1 篇 朱凯龙
  • 1 篇 冯登国
  • 1 篇 lu yu-liang
  • 1 篇 deng yi-jie
  • 1 篇 范红
  • 1 篇 邓一杰
  • 1 篇 邓兆琨
  • 1 篇 陆余良
  • 1 篇 huang hui
  • 1 篇 deng zhao-kun

语言

  • 2 篇 中文
检索条件"主题词=混合分析技术"
2 条 记 录,以下是1-10 订阅
排序:
一种混合的安全协议形式化分析技术
收藏 引用
中国科学院研究生院学报 2002年 第3期19卷 240-245页
作者: 范红 冯登国 中国科学院研究生院信息安全国家重点实验室 北京100039
分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.
来源: 评论
基于混合分析的二进制程序控制流图构建方法
收藏 引用
浙江大学学报(工学版) 2019年 第5期53卷 829-836页
作者: 朱凯龙 陆余良 黄晖 邓兆琨 邓一杰 国防科技大学电子对抗学院 安徽合肥230000
构建控制流图(CFG)是二进制程序分析的基础工作,针对静态构建方法无法处理间接跳转,动态构建方法效率低、不适用于大规模程序的问题,提出结合静态分析和动态分析混合分析方法.使用静态分析获得基础的控制流信息;采用模糊测试生成测试... 详细信息
来源: 评论