您的位置： 专家智库 > >

刘剑

作品数：18 被引量：24H指数：3
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金中国科学院知识创新工程重要方向项目载人航天领域预先研究项更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

领域

  • 18个自动化与计算...
  • 7个文化科学
  • 5个理学
  • 4个电子电信
  • 3个经济管理
  • 3个医药卫生
  • 2个交通运输工程
  • 2个政治法律
  • 2个自然科学总论
  • 1个天文地球
  • 1个农业科学
  • 1个社会学
  • 1个文学

主题

  • 16个操作系
  • 16个操作系统
  • 10个计算机
  • 9个安全操作
  • 9个安全操作系统
  • 8个代码
  • 8个网络
  • 8个内核
  • 7个形式化
  • 7个漏洞
  • 6个用户
  • 6个系统安全
  • 5个迭代
  • 5个信道
  • 5个自动化
  • 4个调度
  • 4个调度算法
  • 4个信道分析
  • 4个信息流图
  • 4个原子性

机构

  • 18个中国科学院软...
  • 6个中国科学院大...
  • 5个中国科学院
  • 5个中国科学院研...
  • 2个北京人民警察...
  • 1个云南警官学院
  • 1个国家工程研究...
  • 1个中国软件与技...
  • 1个北京警察学院
  • 1个广州中国科学...

资助

  • 15个国家自然科学...
  • 13个中国科学院知...
  • 11个国家科技重大...
  • 9个中国科学院战...
  • 7个国家高技术研...
  • 5个国家重点基础...
  • 5个中国科学院知...
  • 4个国家重点实验...
  • 3个广州市科技计...
  • 3个载人航天领域...
  • 3个中国科学院“...
  • 2个The Ro...
  • 2个国防科技技术...
  • 2个国家科技攻关...
  • 2个教育部留学回...
  • 2个河南省自然科...
  • 2个国家杰出青年...
  • 2个国家教育部博...
  • 2个江西省教育厅...
  • 2个信息网络安全...

传媒

  • 10个软件学报
  • 9个计算机研究与...
  • 9个计算机应用与...
  • 9个计算机系统应...
  • 6个通信学报
  • 6个计算机科学
  • 6个第五届信息安...
  • 5个电子学报
  • 5个计算机应用
  • 4个清华大学学报...
  • 4个计算机应用研...
  • 4个小型微型计算...
  • 4个计算机工程与...
  • 3个计算机安全
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个载人航天
  • 2个计算机工程
  • 2个信息安全与通...
  • 2个信息网络安全

地区

  • 18个北京市
共 18 条 记 录，以下是 1-10
易秋萍
供职机构：中国科学院软件研究所
研究主题：初始化 层次化 测试用例 裁剪 软件模型检测
发表作品相关人物供职机构所获资助研究领域
李斌
供职机构：中国科学院软件研究所
研究主题：源码 源代码 注释 补丁 和函数
发表作品相关人物供职机构所获资助研究领域
马越
供职机构：中国科学院软件研究所
研究主题：ROP 操作数 攻击检测 寄存器 结尾
发表作品相关人物供职机构所获资助研究领域
汪孙律
供职机构：中国科学院软件研究所
研究主题：ANDROID 漏洞分析 系统代码 初始化 测试用例
发表作品相关人物供职机构所获资助研究领域
杨秋松
供职机构：中国科学院软件研究所
研究主题：仿真 复杂度 仿真模型 信号量 ROP
发表作品相关人物供职机构所获资助研究领域
孙可钦
供职机构：中国科学院软件研究所
研究主题：ANDROID 漏洞分析 系统代码 ANDROID操作系统 操作系统安全
发表作品相关人物供职机构所获资助研究领域
周艺
供职机构：中国科学院软件研究所
研究主题：初始化 层次化 语句 修护 可满足性
发表作品相关人物供职机构所获资助研究领域
李潇
供职机构：中国科学院软件研究所
研究主题：航天系统 航天 嵌入式操作系统 并发程序 多线程程序
发表作品相关人物供职机构所获资助研究领域
林惠民
供职机构：中国科学院
研究主题：互模拟 传值进程 计算机 进程代数 Π-演算
发表作品相关人物供职机构所获资助研究领域
赵琛
供职机构：中国科学院软件研究所
研究主题：C-V 攻击防御 测试用例 MVB 映射
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0