Strand空间中基于安全密钥概念的证明思路之我见

摘要

一种基于安全密钥证明Strand空间模型新思路，从安全密钥的概念着手，在理想概念证明法的基础上得到预备结论，证明协议的认证属性及秘密属性。