Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows Guttman Joshua D. Heftet / 2019 / Engelsk
