您的位置： 专家智库 > >

邹良惠

作品数：1 被引量：5H指数：1
供职机构：中国科学院研究生院信息安全国家重点实验室更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇电子商务
  • 1篇形式化
  • 1篇形式化分析
  • 1篇形式化分析方...
  • 1篇商务
  • 1篇通信
  • 1篇通信协议
  • 1篇网络
  • 1篇网络协议
  • 1篇安全协议

机构

  • 1篇中国科学院研...

作者

  • 1篇冯登国
  • 1篇邹良惠
  • 1篇范红

传媒

  • 1篇网络安全技术...

年份

  • 1篇2003
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
安全协议形式化分析方法综述之一:基于推理结构性方法被引量：5
2003年
本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足。
范红冯登国邹良惠
关键词：通信协议网络协议安全协议形式化分析方法电子商务
全选 清除 导出
共1页<1>
聚类工具0