Joshua D. Guttman

Foundations of Security, Protocols, and Equational Reasoning

Formal Aspects in Security and Trust