虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 一种安全协议分析算法研究

一种安全协议分析算法研究

  • 资源大小:551 K
  • 上传时间: 2024-04-13
  • 上传用户:zinuoyu
  • 资源积分:2 下载积分
  • 标      签: 安全协议 分析算法 研究

资 源 简 介

研究分析了Athena 自动协议形式化分析算法的原理。该算法能够分析协议的各种安
全属性,它基于扩展了的串空间模型,利用了消息间的因果关系,并且结合了定理证明和模型检测方法,能有效地分析安全协议

相 关 资 源