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

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > Needham-Schroeder对称密钥认证协议安全性分析

Needham-Schroeder对称密钥认证协议安全性分析

  • 资源大小:116 K
  • 上传时间: 2024-03-31
  • 上传用户:13692533910
  • 资源积分:2 下载积分
  • 标      签: Needham-Schroeder 对称 密钥

资 源 简 介

安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN 逻辑研究
Needham-Schroeder 对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BA

相 关 资 源