Joshua D. Guttman

Books
Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning
Foundations of Security, Protocols, and Equational Reasoning
2019