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

Bibliographic Item (1.0)

BurrowsAbadiNeedham89

  1. M Burrows & M Abadi & R M Needham
  2. A Logic of Authentication
  3. Proc Royal Society of London A V426(1989)pp233-271
  4. =THEORY FORMAL LOGIC
  5. BAN_logic::Logic, logic of authentication -- who can believe what about whom? [ BAN.html ]
  6. See also [BurrowsAbadiNeedham90]

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]