Joshua D. Guttman Books

Foundations of Security, Protocols, and Equational Reasoning