CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 源码下载 Windows编程 界面编程 其它 搜索资源 - 空间加密

搜索资源列表

  1. Strand

    0下载:
  2. 提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的 证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对 Yahalom.BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明,并且它还使得证明过程简洁而直观。-the Strand space model to prove the safety of a new agreement ide
  3. 所属分类:其它

    • 发布日期:2008-10-13
    • 文件大小:194.57kb
    • 提供者:韩超
搜珍网 www.dssz.com