您的位置： 专家智库 > >

河南工业大学信息科学与工程学院计算机工程系

作品数：5 被引量：5H指数：1
相关作者：任瑞刘玉坤更多>>
发文基金：河南省科技攻关计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

相关机构

领域

  • 1个电子电信
  • 1个自动化与计算...

主题

  • 1个形式化
  • 1个形式化分析
  • 1个自动化
  • 1个协议分析器
  • 1个分析器
  • 1个安全协议
  • 1个PROLOG
  • 1个PROLOG...
  • 1个BAN逻辑
  • 1个HASKEL...

机构

  • 2个河南工业大学

资助

  • 1个河南省科技攻...

传媒

  • 2个计算机与数字...

地区

  • 2个河南省
共 2 条 记 录，以下是 1-2
刘玉坤
作品数：1被引量：0H指数：0
供职机构：河南工业大学信息科学与工程学院计算机工程系
研究主题：HASKELL 安全协议 形式化分析
发表作品相关人物供职机构所获资助研究领域
任瑞
作品数：1被引量：1H指数：1
供职机构：河南工业大学信息科学与工程学院计算机工程系
研究主题：BAN逻辑 PROLOG语言 PROLOG 分析器 协议分析器
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0