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

MxGbook V3.0 说明 3.0压缩包内有说明，请仔细阅读 后台管理员密码经过md5加密 留言批量审核功能 留言批量删除功能 外部调用 解决以往的乱码问题 QQ空间调用 留言置顶,排序-3.0 Descr iption MxGbook V3.0 package there, please read the background after an administrator password md5 encrypted message audit functi