您的位置: 专家智库 > >

王云飞

作品数:1 被引量:1H指数:1
供职机构:中国科学院软件研究所更多>>
发文基金:中国科学院知识创新工程国家科技重大专项更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 2个自动化与计算...
  • 1个文化科学

主题

  • 2个动态优化
  • 2个原子性
  • 2个嵌入式
  • 2个嵌入式操作
  • 2个嵌入式操作系...
  • 2个微内核
  • 2个系统安全
  • 2个内核
  • 1个代码
  • 1个迭代
  • 1个动点
  • 1个断言
  • 1个多线程
  • 1个多线程程序
  • 1个信道
  • 1个信道分析
  • 1个信息流图
  • 1个形式化
  • 1个形式化描述
  • 1个修护

机构

  • 2个中国科学院软...

资助

  • 2个国家自然科学...
  • 2个国家科技重大...
  • 2个载人航天领域...
  • 2个中国科学院知...
  • 2个中国科学院知...
  • 1个国家重点实验...
  • 1个中国科学院战...

传媒

  • 2个计算机应用与...
  • 2个软件学报
  • 2个载人航天
  • 2个第五届信息安...
  • 1个清华大学学报...
  • 1个计算机系统应...
  • 1个计算机科学

地区

  • 2个北京市
2 条 记 录,以下是 1-2
马越
供职机构:中国科学院软件研究所
研究主题:ROP 操作数 攻击检测 寄存器 结尾
发表作品相关人物供职机构所获资助研究领域
刘剑
供职机构:中国科学院软件研究所
研究主题:初始化 ANDROID 漏洞分析 系统代码 传值进程
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0