The modelling and analysis of security protocols
Book

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

No ratings yet