Analysis of Security Protocols Based on Probabilistic Observational Equivalence
Jia Xue-dong · Journal of Information Engineering University · 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 to 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 Needham-Schroeder authentication protocol,we demonstrate the power of the technique for protocol security.