Appendix C. CyberCash rank function analysis
In Chapter 8, a number of simplifications were applied to the CyberCash main sequence protocol. The overall effect of these simplifications is to reduce the protocol to versions that can be easily understood with respect to the properties under consideration. The main aspects of the protocol have in each case been retained to ensure that the protocol still meets its original requirement, yet it is simple enough to apply standard analysis techniques. In this appendix we use the rank-function technique to verify the protocol.
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.
