1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 中命题的程度化方法.pdf

论文研究 中命题的程度化方法.pdf

上传者: 2020-07-26 04:12:59上传 PDF文件 929.53KB 热度 22次
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。
下载地址
用户评论