Prujuissa ollut BAN-paperin tiivistelmä:
  http://theory.lcs.mit.edu/~rosario/6.915/lecture8.ps

Alkuperäinen paperi:
  http://ftp.digital.com/pub/DEC/SRC/research-reports/abstracts/src-rr-039.html

Journal-versio, ei saatavilla verkosta:
  A logic of authentication
  Burrows, Michael, Abadi, Martin and Needham, Roger 
  ACM Transactions on Computer Systems
  vol.8, no. 1 (Feb. 1990) pp. 18-36.