您的位置： 专家智库 > >

李大海

作品数：4 被引量：1H指数：1
供职机构：解放军信息工程大学电子技术学院更多>>
相关领域：自动化与计算机技术自然科学总论更多>>

合作作者

领域

  • 5个自动化与计算...
  • 3个电子电信
  • 2个电气工程
  • 2个政治法律
  • 2个文化科学
  • 1个建筑科学
  • 1个航空宇航科学...
  • 1个军事
  • 1个自然科学总论
  • 1个理学

主题

  • 4个形式化
  • 4个形式化分析
  • 3个定理
  • 3个定理证明
  • 3个动点
  • 3个新鲜性
  • 2个代理
  • 2个登录
  • 2个登录认证
  • 2个等式约束
  • 2个电磁
  • 2个电磁防护
  • 2个电路
  • 2个电路板
  • 2个电子政务
  • 2个动态链接
  • 2个动态链接库
  • 2个多项式
  • 2个信任
  • 2个信任模型

机构

  • 5个解放军信息工...
  • 3个中国人民解放...
  • 1个解放军电子技...
  • 1个中国人民解放...

资助

  • 3个国家高技术研...
  • 3个国家重点基础...
  • 3个国家自然科学...
  • 2个国防科技技术...
  • 2个军队科研基金
  • 1个国家科技支撑...
  • 1个河南省科技攻...
  • 1个武器装备预研...
  • 1个河南省自然科...
  • 1个国家部委资助...
  • 1个国家重点实验...
  • 1个河南省高等学...
  • 1个河南省科技计...
  • 1个上海市科学技...
  • 1个中国人民解放...

传媒

  • 5个计算机应用研...
  • 4个计算机工程
  • 3个电子与信息学...
  • 3个计算机研究与...
  • 3个计算机应用与...
  • 3个计算机应用
  • 3个计算机工程与...
  • 3个计算机工程与...
  • 3个计算机科学
  • 3个全国第19届...
  • 2个系统工程与电...
  • 2个制造业自动化
  • 2个通信学报
  • 2个电子技术应用
  • 2个软件学报
  • 2个河南科学
  • 2个微计算机信息
  • 2个高等教育研究...
  • 2个信息工程大学...
  • 1个计算机安全

地区

  • 5个河南省
共 5 条 记 录，以下是 1-5
王亚弟
供职机构：解放军信息工程大学
研究主题：密码协议 安全协议 形式化分析 HOC网络 AD
发表作品相关人物供职机构所获资助研究领域
韩继红
供职机构：解放军信息工程大学
研究主题：安全协议 密码协议 形式化分析 HOC网络 网络安全
发表作品相关人物供职机构所获资助研究领域
黄卿
供职机构：解放军信息工程大学电子技术学院
研究主题：形式化分析 安全协议 自动化验证 时间戳 IKEV2协议
发表作品相关人物供职机构所获资助研究领域
王静
供职机构：解放军信息工程大学电子技术学院
研究主题：FLASK XEN 细粒度 强制访问控制 安全协议
发表作品相关人物供职机构所获资助研究领域
范钰丹
供职机构：中国人民解放军信息工程大学
研究主题：安全协议 密码协议 形式化分析 公平 一阶逻辑
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0