Modelling and Analysis of Security Protocols

Rating:
Summary: Clear, concise and valuable
Review: This is a wonderful book, well organized, well written and crisp. The subtle nature of protocol analysis is described clearly, as are the consequences of incorrect assumptions. As the rear cover of the paperback version says, it is a rigorous framework as well as an in-depth discussion.