您的位置： 专家智库 > >

国家重点实验室开放基金(9140C1104090704)

作品数：1 被引量：3H指数：1
相关作者：肖聪更多>>
相关机构：总参谋部更多>>
发文基金：国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 1个自动化与计算...

主题

  • 1个形式化
  • 1个形式化分析
  • 1个安全协议
  • 1个AVISPA

机构

  • 1个总参谋部

资助

  • 1个国家重点实验...

传媒

  • 1个信息安全与通...
共 1 条 记 录，以下是 1-1
肖聪
供职机构：总参谋部
研究主题：安全协议 AVISPA 形式化分析 形式化
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0