您的位置： 专家智库 > >

国家高技术研究发展计划(2012AA7111043)

作品数：5 被引量：17H指数：2
相关作者：史大伟秦晓军袁天伟周林甘水滔更多>>
相关机构：江南计算技术研究所更多>>
发文基金：国家高技术研究发展计划国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 8个自动化与计算...
  • 2个电子电信
  • 1个经济管理
  • 1个文化科学
  • 1个理学

主题

  • 6个脆弱性
  • 5个污点分析
  • 4个动态污点分析
  • 4个软件脆弱性
  • 3个代码
  • 3个代码克隆
  • 3个形式化
  • 3个形式化描述
  • 3个一阶逻辑
  • 3个疑点
  • 3个软件代码
  • 3个随机数
  • 3个特征矩阵
  • 3个网络
  • 3个污点
  • 3个细粒度
  • 2个调度
  • 2个虚拟机
  • 2个谓词
  • 2个离线

机构

  • 8个江南计算技术...
  • 1个解放军信息工...
  • 1个中国工程院
  • 1个中国科协

资助

  • 8个国家高技术研...
  • 5个国家自然科学...
  • 1个国家科技支撑...
  • 1个国家重点基础...
  • 1个中国博士后科...
  • 1个国家杰出青年...
  • 1个国家科技重大...
  • 1个国家部委预研...
  • 1个国家部委资助...
  • 1个中国工程院咨...
  • 1个中国人民解放...

传媒

  • 5个计算机应用研...
  • 4个计算机学报
  • 4个计算机工程
  • 3个软件学报
  • 3个信息安全与通...
  • 3个高性能计算技...
  • 3个中国科学：信...
  • 3个保密科学技术
  • 2个微计算机信息
  • 2个北京邮电大学...
  • 2个信息工程大学...
  • 1个计算机研究与...
  • 1个电子技术应用
  • 1个计算机工程与...
  • 1个上海交通大学...
  • 1个计算机应用与...
  • 1个小型微型计算...
  • 1个微型机与应用
  • 1个计算机工程与...
  • 1个电子计算机

地区

  • 8个江苏省
共 8 条 记 录，以下是 1-8
史大伟
供职机构：江南计算技术研究所
研究主题：二进制 动态污点分析 网络 粗粒度 粒度
发表作品相关人物供职机构所获资助研究领域
秦晓军
供职机构：江南计算技术研究所
研究主题：软件脆弱性 脆弱性检测 代码克隆 特征矩阵 一阶逻辑
发表作品相关人物供职机构所获资助研究领域
徐良华
供职机构：江南计算技术研究所
研究主题：MD5 HASH函数 差分攻击 差分 FPGA
发表作品相关人物供职机构所获资助研究领域
周林
供职机构：江南计算技术研究所
研究主题：软件脆弱性 FUZZING
发表作品相关人物供职机构所获资助研究领域
石志刚
供职机构：江南计算技术研究所
研究主题：存储策略 高速数据采集系统 数据采集 存储区域网 关键词
发表作品相关人物供职机构所获资助研究领域
陈左宁
供职机构：江南计算技术研究所
研究主题：可信计算 可用性 容错 信息流控制 虚拟机
发表作品相关人物供职机构所获资助研究领域
袁天伟
供职机构：江南计算技术研究所
研究主题：粗粒度 二进制 粒度 离线 动态污点分析
发表作品相关人物供职机构所获资助研究领域
甘水滔
供职机构：江南计算技术研究所
研究主题：软件脆弱性 脆弱性检测 代码克隆 特征矩阵 一阶逻辑
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0