您的位置: 专家智库 > >

国家高技术研究发展计划(2007AA01Z465)

作品数:3 被引量:26H指数:3
相关作者:冯登国程亮张阳邓艺赵险峰更多>>
相关机构:中国科学技术大学中国科学院软件研究所国家工程研究中心更多>>
发文基金:国家高技术研究发展计划国家自然科学基金中国科学院知识创新工程领域前沿项目更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 8个自动化与计算...
  • 5个电子电信
  • 2个文化科学
  • 1个经济管理
  • 1个哲学宗教
  • 1个天文地球
  • 1个机械工程
  • 1个电气工程
  • 1个建筑科学
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个一般工业技术
  • 1个政治法律
  • 1个军事
  • 1个理学

主题

  • 7个隐私
  • 6个信息安全
  • 6个隐私保护
  • 6个网络
  • 5个代码
  • 5个密码
  • 5个加密
  • 4个形式化
  • 4个形式化方法
  • 4个用户
  • 3个信任
  • 3个信息流
  • 3个形式化验证
  • 3个云计算
  • 2个代理
  • 2个代码分析
  • 2个代码覆盖
  • 2个代码覆盖率
  • 2个代码执行
  • 2个等级保护

机构

  • 8个中国科学院软...
  • 4个中国科学技术...
  • 4个国家工程研究...
  • 3个中国科学院研...
  • 2个中国科学院
  • 2个信息安全国家...
  • 2个中国科学院大...
  • 1个电子科技大学
  • 1个国防科学技术...
  • 1个华中科技大学
  • 1个北京航空航天...
  • 1个西安电子科技...
  • 1个西安工程科技...
  • 1个国家信息化专...
  • 1个合肥市公安消...
  • 1个全国信息安全...
  • 1个北京信息科学...

资助

  • 8个国家高技术研...
  • 8个国家自然科学...
  • 5个国家科技支撑...
  • 4个国家重点基础...
  • 4个中国科学院知...
  • 3个国家242信...
  • 2个北京市自然科...
  • 2个国家杰出青年...
  • 2个国家教育部博...
  • 2个信息安全国家...
  • 1个安徽省自然科...
  • 1个北京市科技新...
  • 1个福建省自然科...
  • 1个国家高技术产...
  • 1个国家留学基金
  • 1个湖南省自然科...
  • 1个山东省自然科...
  • 1个中国博士后科...
  • 1个中国科学院王...
  • 1个中国科学院研...

传媒

  • 8个计算机学报
  • 6个软件学报
  • 5个计算机研究与...
  • 5个中国科学院研...
  • 4个中国科学技术...
  • 4个通信学报
  • 4个计算机工程
  • 4个计算机系统应...
  • 3个电子与信息学...
  • 3个电子学报
  • 3个计算机应用研...
  • 3个小型微型计算...
  • 3个计算机科学
  • 2个计算机应用与...
  • 2个应用科学学报
  • 2个信号处理
  • 1个计算机安全
  • 1个科学中国人
  • 1个金融电子化
  • 1个电子科技

地区

  • 7个北京市
  • 1个安徽省
8 条 记 录,以下是 1-8
冯登国
供职机构:中国科学院软件研究所
研究主题:信息安全 密码学 网络安全 访问控制 可信计算
发表作品相关人物供职机构所获资助研究领域
邓艺
供职机构:中国科学院软件研究所
研究主题:信息隐藏 图像隐写 JPEG 图像隐写分析 特征函数
发表作品相关人物供职机构所获资助研究领域
秦宇
供职机构:中国科学院软件研究所
研究主题:可信计算 可信平台模块 安全芯片 远程证明 可信密码模块
发表作品相关人物供职机构所获资助研究领域
程亮
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:形式化验证 UML 安全策略模型 安全操作系统 基于UML
发表作品相关人物供职机构所获资助研究领域
胡浩
供职机构:中国科学院软件研究所
研究主题:可信计算 消防设施 消防 控制研究 分布式访问控制
发表作品相关人物供职机构所获资助研究领域
赵险峰
供职机构:中国科学院信息工程研究所
研究主题:隐写分析 隐写 信息隐藏 视频 视频隐写
发表作品相关人物供职机构所获资助研究领域
于爱民
供职机构:中国科学院软件研究所
研究主题:可信计算 终端平台 可信平台模块 信息安全领域 信息安全
发表作品相关人物供职机构所获资助研究领域
张阳
供职机构:中国科学院软件研究所
研究主题:操作系统安全 漏洞挖掘 信息安全 形式化验证 安全操作系统
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0