Foundations of Security, Protocols, and Equational Reasoning
de Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Ediciones (1)
- Foundations of Security, Protocols, and Equational Reasoning (2019)
Springer · ISBN 9783030190514
de Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Springer · ISBN 9783030190514
