Foundations of Security, Protocols, and Equational Reasoning
Joshua D. Guttman
Foundations of Security, Protocols, and Equational Reasoning - Springer Nature 2019 - Lecture Notes in Computer Science .
9783030190521
Computer Science
Foundations of Security, Protocols, and Equational Reasoning - Springer Nature 2019 - Lecture Notes in Computer Science .
9783030190521
Computer Science