[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Anderson99

  1. Ross J Anderson
  2. The Formal Verification of a Payment System
  3. In [HincheyBowen99] pp43-52
  4. =EXPERIENCE LOGIC BAN VERIFYING PROTOCOL BANKING PAYMENT SMARTCARD
  5. Used BAN_logic with new rule:
  6. 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.
  7. Colored proof covering several white boards.
  8. System successful for several years with problems.
  9. 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 uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]