为了有效地分析和验证认证协议的安全性，找出协议的漏洞，介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模，吸取模型检测的思想，分析攻击者可能扮演的角色以及协议的执行规则，在此基础上逐步给消
基于密码协议认证目标的协议分析方法的研究
资料详细技术说明
为了克服现有的逻辑方法不适合分析电子商务协议的缺点，本文提出了一种基于协议
认证目标的协议分析方法，该方法针对不同功能的协议，给出了他们要实现的目标：实体认证目标、密钥认证目标和伴随有密钥建立的
认证目标的协议分析方法，该方法针对不同功能的协议，给出了他们要实现的目标：实体认证目标、密钥认证目标和伴随有密钥建立的
相关技术资料推荐
下载与解压说明
下载积分规则
- 本资源下载仅需 2 积分
- 24 小时内重复下载免扣积分
- VIP 会员享专属免积分高速通道
文件解压指南
- 推荐使用 7-Zip 或新版 WinRAR 解压
- 原理图与 PCB 请使用对应 EDA 软件打开
- 压缩包内源码可直接在上方在线预览
免费获取积分
- 新用户注册即赠送 10 积分
- 上传分享工程资料可获得持续积分奖励
- 查看积分规则与会员权益 →