安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN 逻辑研究Needham-Schroeder 对称密钥认证协议，指出该协议存在的安全缺陷，利用消息新鲜性对其进行相应改进，并在BA
电子见证服务协议的安全性分析
资料详细技术说明
电子见证服务是现代服务业体系中一个重要环节，为电子商务和网络应用提供安全和法律的保证。本文阐述了电子见证服务在电子商务应用中的必要性。研究影响见证服务安全几个因素,提出现有协议中普遍存在的安全漏洞。针
相关技术资料推荐
下载与解压说明
下载积分规则
- 本资源下载仅需 2 积分
- 24 小时内重复下载免扣积分
- VIP 会员享专属免积分高速通道
文件解压指南
- 推荐使用 7-Zip 或新版 WinRAR 解压
- 原理图与 PCB 请使用对应 EDA 软件打开
- 压缩包内源码可直接在上方在线预览
免费获取积分
- 新用户注册即赠送 10 积分
- 上传分享工程资料可获得持续积分奖励
- 查看积分规则与会员权益 →