Analysis of Security Protocols Based on Probabilistic Polynomial-time Processes
Yadi Wang · Jisuanji gongcheng · 2007
This paper develops a technique by introducing probabilistic polynomial-time processes for analyzing security protocols,because of the limitations of the Spi calculus.The technique is an improvement of the Spi calculus.Protocol adversaries may be any probabilistic polynomial-time processes in the technique,and security may be expressed in terms of observational equivalence.By analyzing a protocol based on ElGamal encryption and Diffie-Hellman key exchange,it demonstrates the analysis capability of the technique for protocol security.