您的位置： 专家智库 > >

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

作品数：1 被引量：0H指数：0
相关作者：刘楠朱文也陈晨祝跃飞更多>>
相关机构：解放军信息工程大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 4个自动化与计算...
  • 3个经济管理
  • 2个电子电信
  • 2个政治法律
  • 2个文化科学
  • 2个理学
  • 1个天文地球
  • 1个机械工程
  • 1个航空宇航科学...
  • 1个农业科学
  • 1个历史地理
  • 1个自然科学总论

主题

  • 4个形式化
  • 4个形式化分析
  • 4个认证性
  • 4个树自动机
  • 4个重写系统
  • 3个电子交易
  • 2个代数
  • 2个代数性质
  • 2个等价
  • 1个代码
  • 1个代码保护
  • 1个代码混淆
  • 1个代码加密
  • 1个代数表示
  • 1个代数攻击
  • 1个代数函数
  • 1个代数函数域
  • 1个单片
  • 1个单片机
  • 1个单向散列链

机构

  • 4个解放军信息工...
  • 3个中国人民解放...
  • 1个中国科学院
  • 1个河南工业大学
  • 1个中国科学技术...
  • 1个中国科学院研...
  • 1个国家数字交换...
  • 1个信息安全国家...
  • 1个郑州信息工程...

资助

  • 4个国家高技术研...
  • 3个国家自然科学...
  • 2个河南省科技攻...
  • 2个河南省基础与...
  • 2个国家重点实验...
  • 2个河南省科技创...
  • 1个国家科技支撑...
  • 1个国家重点基础...
  • 1个河南省自然科...
  • 1个国家科技重大...
  • 1个广东省信息安...
  • 1个河南省创新型...
  • 1个河南省高校科...
  • 1个河南省杰出青...

传媒

  • 4个计算机工程
  • 4个计算机科学
  • 3个通信学报
  • 3个北京工业大学...
  • 3个2010年第...
  • 2个计算机应用与...
  • 2个微电子学与计...
  • 2个计算机应用研...
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 1个计算机安全
  • 1个计算机光盘软...
  • 1个武汉大学学报...
  • 1个科学通报
  • 1个电子与信息学...
  • 1个自动化学报
  • 1个数学学报（中...
  • 1个数学进展
  • 1个计算机研究与...
  • 1个模式识别与人...

地区

  • 4个河南省
共 4 条 记 录，以下是 1-4
陈晨
供职机构：中国人民解放军信息工程大学
研究主题：安全协议 项重写 电离层 形式化分析 电离层TEC
发表作品相关人物供职机构所获资助研究领域
刘楠
供职机构：解放军信息工程大学理学院
研究主题：安全协议 项重写 等价 约简算法 形式化分析
发表作品相关人物供职机构所获资助研究领域
朱文也
供职机构：解放军信息工程大学信息工程学院
研究主题：安全协议 树自动机 形式化分析 认证性 项重写系统
发表作品相关人物供职机构所获资助研究领域
祝跃飞
供职机构：中国人民解放军信息工程大学
研究主题：同态加密 密码学 隐写术 分组密码 安全协议
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0