Catherine Meadows, Adaptive Security and ECOnomics Lab, University of Hawaii, retrieved 2019-09-20
doi.org
Guttman, Joshua D.; Landwehr, Carl E.; Meseguer, José; Pavlovic, Dusko (2019), Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows, Lecture Notes in Computer Science, vol. 11565, Springer, doi:10.1007/978-3-030-19052-1, ISBN978-3-030-19051-4, S2CID155103931.
See in particular Preface, pp. vii–ix; "Cathy Meadows: A Central Figure in Protocol Analysis", Sylvan Pinsky, pp. 1–5; "A Long Slow Conversation", Jon Millen, pp. 6–7, and "Key Reminiscences", Paul Syverson, pp. 8–14.
Guttman, Joshua D.; Landwehr, Carl E.; Meseguer, José; Pavlovic, Dusko (2019), Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows, Lecture Notes in Computer Science, vol. 11565, Springer, doi:10.1007/978-3-030-19052-1, ISBN978-3-030-19051-4, S2CID155103931.
See in particular Preface, pp. vii–ix; "Cathy Meadows: A Central Figure in Protocol Analysis", Sylvan Pinsky, pp. 1–5; "A Long Slow Conversation", Jon Millen, pp. 6–7, and "Key Reminiscences", Paul Syverson, pp. 8–14.