Foundations of Security, Protocols, and Equational Reasoning 4 contributors - Paperback £40.49 was £44.99Find out more