您的位置： 专家智库 > >

安徽省教育厅科学研究项目(KJ2007B239)

作品数：1 被引量：1H指数：1
相关作者：卜奎昊更多>>
相关机构：淮阴师范学院更多>>
发文基金：安徽省教育厅科学研究项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇形式化分析方...
  • 1篇融合性
  • 1篇安全协议
  • 1篇BAN逻辑
  • 1篇串空间

机构

  • 1篇淮阴师范学院

作者

  • 1篇卜奎昊

传媒

  • 1篇西北师范大学...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
安全协议形式化分析方法的融合性研究被引量：1
2010年
分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.
卜奎昊
关键词：安全协议BAN逻辑串空间
全选 清除 导出
共1页<1>
聚类工具0