提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的

证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对

Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三

方认证协议的证明，并且它还使得证明过程简洁而直观。-the Strand space model to prove the safety of a new agreement ideas, Key it from the concept of security, based on the ideal reference to the concept of proof, and obtain certification preparation conclusions, so secret agreement on the attributes and authentication attributes proved. It also gives an address Yahalom. BAN agreement safety of examples, One can see it very suitable for the use of symmetric encryption system and has key distribution function of the tripartite agreement proved certification , which also makes the certification process simple and intuitive.