您的位置： 专家智库 > >

杨强

作品数：1 被引量：1H指数：1
供职机构：内江电业局更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇逻辑
  • 1篇逻辑方法
  • 1篇SECURE
  • 1篇ANDREW

机构

  • 1篇四川理工学院
  • 1篇内江电业局

作者

  • 1篇刘跃军
  • 1篇王红旗
  • 1篇杨强

传媒

  • 1篇四川理工学院...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Andrew Secure RPC协议的一种组合分析方法被引量：1
2008年
逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例。先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体。
刘跃军王红旗杨强
关键词：逻辑方法ANDREWSECURE
全选 清除 导出
共1页<1>
聚类工具0