📚 Strand技术资料

📦 资源总数：2
💻 源代码：29

📚 Strand全部资料 (2个)

提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 ...

📅