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

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 主动攻击下数字签名的计算可靠性

主动攻击下数字签名的计算可靠性

  • 资源大小:239 K
  • 上传时间: 2023-11-29
  • 上传用户:蓝天小雨
  • 资源积分:2 下载积分
  • 标      签: 攻击

资 源 简 介

研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法,分别引入符号模型和计算模型中的协议运行状态集合,通过反证法证明符号模型中

相 关 资 源

您 可 能 感 兴 趣 的