Modelling and Analysis of Security Protocols

Casper scripts

The following protocols are discussed in Chapter 5. You can download all of the Casper input files and output files as a single zipped file here. These will run on a demo version of FDR. You can also obtain files individually from the list below. To run them on a demo version of FDR, you should also have the CHECK file present in the same directory.:

Yahalom protocol with redirected messages (Casper input, Casper output)
Yahalom protocol (original) (Casper input, Casper output)
Otway-Rees protocol with redirected messages (Casper input, Casper output)
Otway-Rees protocol (original) (Casper input, Casper output)
Needhan-Schroeder 7 message Public-Key protocol (Casper input, Casper output)
Needham-Schroeder Signature protocol (Casper input, Casper output)
Kehne-Langendorfer-Scoenwalder protocol (Casper input, Casper output)

back to the book home page