Foundations of Security, Protocols, and Equational Reasoning häftadEngelska, 2019