论文部分内容阅读
针对Spi演算在安全协议分析中存在的局限性，通过引入概率多项式时间进程，提出了一个分析安全协议的新方法。该方法是对Spi演算的改进，在这个方法中攻击者是概率多项式时间进程，协议的安全性用概率可观察等价性表示。通过对Needham—Schroeder对称密钥认证协议的分析，验证了该方法的可行性和有效性。