您的位置： 专家智库 > >

国家自然科学基金(60703075)

作品数：3 被引量：4H指数：1
相关作者：李舟军周倜李梦君赵倩倩更多>>
相关机构：国防科学技术大学北京航空航天大学北京航天飞行控制中心更多>>
发文基金：国家自然科学基金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 4个电子电信
  • 4个自动化与计算...
  • 2个航空宇航科学...
  • 2个文化科学
  • 1个生物学
  • 1个天文地球
  • 1个电气工程
  • 1个建筑科学
  • 1个交通运输工程
  • 1个农业科学
  • 1个理学

主题

  • 4个形式化
  • 4个认证性
  • 3个信息安全
  • 3个形式化分析
  • 3个形式化建模
  • 3个形式化验证
  • 2个动点
  • 1个代码
  • 1个代码检测
  • 1个代码注入
  • 1个蛋白
  • 1个蛋白质
  • 1个蛋白质功能
  • 1个蛋白质功能预...
  • 1个蛋白质相互作...
  • 1个等价
  • 1个地理定位
  • 1个地铁
  • 1个地铁2号线
  • 1个地图

机构

  • 3个国防科学技术...
  • 2个北京航空航天...
  • 1个长沙工学院
  • 1个湖南农业大学
  • 1个中南林业科技...
  • 1个国防科技大学
  • 1个北京航天飞行...

资助

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

传媒

  • 4个计算机科学
  • 3个计算机研究与...
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个2008年全...
  • 2个武汉大学学报...
  • 2个软件学报
  • 2个现代图书情报...
  • 2个系统仿真学报
  • 2个计算机教育
  • 1个计算机安全
  • 1个计算机集成制...
  • 1个林业科技
  • 1个电子与信息学...
  • 1个山西大学学报...
  • 1个通信学报
  • 1个电子学报
  • 1个清华大学学报...
  • 1个东南大学学报...
  • 1个国防科技大学...

地区

  • 3个北京市
  • 1个湖南省
共 4 条 记 录，以下是 1-4
李舟军
供职机构：北京航空航天大学
研究主题：安全协议 数据挖掘 网络安全 形式化验证 信息检索
发表作品相关人物供职机构所获资助研究领域
周倜
供职机构：北京航天飞行控制中心
研究主题：安全协议 形式化验证 遥测 认证性 HORN逻辑
发表作品相关人物供职机构所获资助研究领域
李梦君
供职机构：国防科学技术大学计算机学院
研究主题：安全协议 形式化验证 安全协议验证 进程代数 虚拟现实
发表作品相关人物供职机构所获资助研究领域
赵倩倩
供职机构：北京航空航天大学计算机学院
研究主题：KERBEROS 保密性 形式化分析 形式化 认证性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0