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

Mathematical modelsComputersComputer securityCryptographyAccess controlComputer networks, security measuresComputer network protocolsComputer networks

For young readers

Book data: Open Library