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