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

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 基于消息匹配的认证协议分析

基于消息匹配的认证协议分析

  • 资源大小:117 K
  • 上传时间: 2024-03-08
  • 上传用户:kjl
  • 资源积分:2 下载积分
  • 标      签: 匹配 分析

资 源 简 介

为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消

相 关 资 源

您 可 能 感 兴 趣 的