The Modelling and Analysis of Security Protocols: The Csp Approach

(Pearson Education) A thorough and detailed explanation of the most common and effective approaches to the design and analysis of security critical systems. Describes the role of security protocols, exposing their strengths and weaknesses. Covers each different kind of protocol in detail, touching on key concepts such as confidentiality and integrity. Softcover.