[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Ross J Anderson
- The Formal Verification of a Payment System
- =EXPERIENCE LOGIC BAN VERIFYING PROTOCOL BANKING PAYMENT SMARTCARD
- Used BAN_logic with new rule:
- If A believes that A and B share key K and A sees the K encrypts X then A will believe that B used K.
- Colored proof covering several white boards.
- System successful for several years with problems.
- Concludes the it better to have a simple logic with few rules and no tool than a complex (buggy?) logic with a tool.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]