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

Bibliographic Item (1.0)

BurrowsAbadiNeedham90

  1. Michael Burrows & Martin Abadi & Roger M Needham
  2. A Logic of Authentication
  3. ACM Transactions on Computer Systems V8n1(Feb 1990)pp18-36 [ 77648.77649 ]
  4. =THEORY =DEMO LOGIC PROTOCOL PROOF V&V BAN KERBEROS CRYPTO
  5. See also [BurrowsAbadiNeedham89]
  6. Defines the [BAN_logic] of beliefs and messages.

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]