您的位置： 专家智库 > >

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

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

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇安全协议
  • 2篇AVISPA

机构

  • 2篇总参谋部
  • 1篇电子科技大学...

作者

  • 1篇肖聪
  • 1篇李斌

传媒

  • 1篇信息安全与通...

年份

  • 2篇2009
共 1 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
怎样用好AVISPA工具被引量：3
2009年
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具；结合XEmacs模式能够设置更加直观而简便的操作和编译环境，对安全协议进行分析并得出结论。
徐梦茗李斌肖聪
关键词：安全协议AVISPA
怎样用好AVISPA工具
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmacs模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论。
徐梦茗李斌肖聪
关键词：安全协议AVISPA
文献传递
全选 清除 导出
共1页<1>
聚类工具0