Joshua D. Guttman الكتب

Foundations of Security, Protocols, and Equational Reasoning

Formal Aspects in Security and Trust