您的位置： 专家智库 > >

谷文

作品数：9 被引量：9H指数：2
供职机构：解放军信息工程大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 5个电子电信
  • 5个自动化与计算...
  • 2个电气工程
  • 2个文化科学
  • 2个理学
  • 1个经济管理
  • 1个航空宇航科学...
  • 1个政治法律
  • 1个军事

主题

  • 5个形式化
  • 4个等式约束
  • 4个信息特征
  • 4个形式化分析
  • 4个异或
  • 3个等效
  • 3个一阶逻辑
  • 3个英文
  • 2个代理
  • 2个代码
  • 2个等效电路
  • 2个定理
  • 2个定理证明
  • 2个动点
  • 2个动力学
  • 2个动态规划
  • 2个短时记忆
  • 2个多层感知机
  • 2个信息安全
  • 2个应用服务器

机构

  • 5个解放军信息工...
  • 2个中国人民解放...
  • 1个国防科学技术...
  • 1个中兴通讯股份...
  • 1个中国人民解放...

资助

  • 5个国家自然科学...
  • 4个国家高技术研...
  • 2个国家重点基础...
  • 2个国家科技重大...
  • 1个国防科技技术...
  • 1个河南省科技攻...
  • 1个国家杰出青年...
  • 1个国家重点实验...
  • 1个河南省科技计...
  • 1个军队科研基金

传媒

  • 5个电子与信息学...
  • 4个计算机研究与...
  • 4个通信学报
  • 4个计算机应用
  • 4个计算机工程与...
  • 3个计算机工程
  • 3个计算机应用研...
  • 3个软件学报
  • 3个计算机科学
  • 3个全国第19届...
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 2个电波科学学报
  • 2个高等教育研究...
  • 2个信息工程大学...
  • 1个系统工程与电...
  • 1个红外与激光工...
  • 1个移动通信
  • 1个火力与指挥控...
  • 1个制造业自动化

地区

  • 4个河南省
  • 1个山东省
共 5 条 记 录，以下是 1-5
韩继红
供职机构：解放军信息工程大学
研究主题：安全协议 密码协议 形式化分析 HOC网络 网络安全
发表作品相关人物供职机构所获资助研究领域
袁霖
供职机构：解放军信息工程大学
研究主题：开源软件 安全协议 数据挖掘 词汇表 开源项目
发表作品相关人物供职机构所获资助研究领域
范钰丹
供职机构：中国人民解放军信息工程大学
研究主题：安全协议 密码协议 形式化分析 公平 一阶逻辑
发表作品相关人物供职机构所获资助研究领域
张畅
供职机构：解放军信息工程大学
研究主题：密码协议 容忍入侵 秘密性 认证性 处理器
发表作品相关人物供职机构所获资助研究领域
朱玉娜
供职机构：中国人民解放军91033部队
研究主题：漫游 用户 呼叫 安全协议 移动交换中心
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0