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.: back to the book home page