CSP files for payment protocols
On this page, you can download CSP files that illustrate the technique we discussed in the paper entitled \"Reverse authentication in financial transactions and identity management\" of A.W. Roscoe, Chen Bangdao and Long Nguyen at the Oxford University Department of Computer Science.
| Main Authors: | , , |
|---|---|
| Format: | Record |
| Published: |
2011
|