Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows - Guttman, Joshua D.; Guttman, Joshua D.; Landwehr, Carl E.; Landwehr, Carl E.; Meseguer, José; Meseguer, José; Pavlovic, Dusko; Pavlovic, Dusko (Springer International Publishing : Imprint: Springer, 2019)