Foundations of Security, Protocols, and Equational Reasoning - Guttman (Springer International Publishing, 2019)