Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A Meadows By: Joshua D Guttman, Carl E Landwehr, Jos* Meseguer, and 1 more Read more