0.10. Casper: the user-friendly interface of FDR
The construction of the FDR code corresponding to a given protocol requires specialist skills. However, the production of such a code from the description of the protocol is largely systematic. Based on this observation, one of the authors (Lowe) [56] developed a compiler that takes a description of the protocol and the security property and automatically generates the corresponding FDR code.
In practice this is not entirely straightforward:
The standard notation for describing protocols is notoriously ambiguous.
Security protocols differ widely in their security goals and the mechanisms they employ. This means that it is difficult to have a general-purpose compiler able to handle them all.
Lowe ...
Get The Modelling and Analysis of Security Protocols: the CSP Approach now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
