Search
 
loader loading subjects...
cover
Analysing Security Protocols using CSP
Gavin Lowe
62 - 85
10.3233/978-1-60750-714-7-62
Cryptology and Information Security Series
Volume 5: Formal Models and Techniques for Analyzing Security Protocols
Abstract

In this chapter we describe an approach to analysing security protocols using the process algebra CSP and the model checker FDR. The basic approach is to build a CSP model of a small system running the protocol, together with the most general intruder who can interact with the protocol. We then use the model checker FDR to explore the state space, looking for insecure states. In the second half of the chapter, we extend this approach so as to be able to analyse an arbitrary system running the protocol.

$35.00 / €27.50 / £22.00
Add PDF to cart