The modelling and analysis of security protocols

By Peter Ryan PhD, Gavin Lowe, M. H. Goldsmith, Bill Roscoe, P. Y. A. Ryan, S. A. Schneider, G. Lowe, A.W. Roscoe