
Foundations of Security, Protocols, and Equational Reasoning
by Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Writing a summary for young readers…
For young readers
Book data: Open Library

by Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Book data: Open Library