num_pages: 320
description: (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.
language: English
title: The Modelling and Analysis of Security Protocols: The Csp Approach
titlecomplete: The Modelling and Analysis of Security Protocols: The Csp Approach
ratings_count: 3
publisher: Addison-Wesley