Joshua D. Guttman Libros

Foundations of Security, Protocols, and Equational Reasoning