您的位置： 专家智库 > >

黄永刚

作品数：3 被引量：2H指数：1
供职机构：中国信息安全测评中心更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 6个自动化与计算...
  • 3个电子电信
  • 3个文化科学
  • 2个经济管理
  • 1个生物学
  • 1个天文地球
  • 1个电气工程
  • 1个建筑科学
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个农业科学
  • 1个政治法律
  • 1个理学

主题

  • 6个形式化
  • 6个漏洞
  • 5个信息安全
  • 5个网络
  • 4个代码
  • 4个等价
  • 4个形式化描述
  • 4个语言
  • 4个自动机
  • 4个漏洞挖掘
  • 3个等价关系
  • 3个信息系统
  • 3个形式化方法
  • 3个引擎
  • 3个软件漏洞
  • 3个状态空间爆炸
  • 3个化简
  • 2个代理
  • 2个一致性
  • 2个软件架构

机构

  • 3个国防科学技术...
  • 3个中国信息安全...
  • 2个中国科学院软...
  • 2个北京启明星辰...
  • 1个北京邮电大学
  • 1个长沙工学院
  • 1个湖南大学
  • 1个湖南农业大学
  • 1个北京航空航天...
  • 1个中南林业科技...
  • 1个湖南交通职业...
  • 1个上海三零卫士...

资助

  • 6个国家高技术研...
  • 6个国家自然科学...
  • 4个国家教育部博...
  • 2个国家重点基础...
  • 2个国家科技重大...
  • 2个国家重点实验...
  • 2个湖南省教育厅...
  • 1个高等学校国家...
  • 1个国防科技技术...
  • 1个国家科技支撑...
  • 1个国家社会科学...
  • 1个湖南省哲学社...
  • 1个山东省软科学...
  • 1个山东省自然科...
  • 1个天津市自然科...
  • 1个中央级公益性...
  • 1个河南省基础与...
  • 1个博士研究生创...
  • 1个国家密码发展...
  • 1个河北省科技计...

传媒

  • 6个清华大学学报...
  • 5个第二届信息安...
  • 4个计算机研究与...
  • 4个软件学报
  • 4个第五届信息安...
  • 3个计算机工程与...
  • 3个第三届信息安...
  • 3个第四届信息安...
  • 3个第六届信息安...
  • 2个电子学报
  • 2个计算机工程
  • 2个北京理工大学...
  • 2个计算机工程与...
  • 2个计算机与现代...
  • 2个北京邮电大学...
  • 2个计算机科学
  • 1个计算机安全
  • 1个计算机集成制...
  • 1个中国青年研究
  • 1个学校党建与思...

地区

  • 4个北京市
  • 2个湖南省
共 6 条 记 录，以下是 1-6
易锦
供职机构：中国信息安全测评中心
研究主题：漏洞 安全漏洞 高职院校 思想政治理论课 思政课
发表作品相关人物供职机构所获资助研究领域
郭涛
供职机构：北京邮电大学
研究主题：漏洞分析 信息安全 源代码 污点 二进制文件
发表作品相关人物供职机构所获资助研究领域
张普含
供职机构：中国信息安全测评中心
研究主题：移动代理 网络管理系统 网络管理 迭代 基于语言
发表作品相关人物供职机构所获资助研究领域
李舟军
供职机构：北京航空航天大学
研究主题：安全协议 数据挖掘 网络安全 形式化验证 信息检索
发表作品相关人物供职机构所获资助研究领域
陈石坤
供职机构：国防科学技术大学计算机学院
研究主题：布尔可满足性 C程序 基于SAT 缓冲区溢出 漏洞检测技术
发表作品相关人物供职机构所获资助研究领域
邢建英
供职机构：国防科学技术大学
研究主题：结点 飞腾 刀片服务器 感知 服务器
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0