O'Reilly logo

The Modelling and Analysis of Security Protocols: the CSP Approach by S. A. Schneider, P. Y.A. Ryan

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

4.2. Labelled Transition Systems

The classic operational representation of a CSP process is as a Labelled Transition System (LTS) [75]: a set of nodes representing the states of the process are connected by directed arcs, labelled with either a visible event or the internal action Τ, which describe how one state can evolve into another. There is a structured operational semantics for CSP [14] and more particularly for CSPM [83], which allow these arcs to be deduced between nodes representing process terms – or rather closures, terms together with bindings for their free identifiers – and this operational semantics forms the basis of the compilation strategy for purely sequential or recursive terms. One of the components of the FDR tool is a ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required