home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / crypt / 3820 < prev    next >
Encoding:
Internet Message Format  |  1992-10-15  |  1.4 KB
  1. Xref: sparky sci.crypt:3820 alt.security:4580
  2. Path: sparky!uunet!europa.asd.contel.com!gatech!swrinde!sdd.hp.com!elroy.jpl.nasa.gov!ames!agate!doc.ic.ac.uk!uknet!mcsun!ub4b!news.cs.kuleuven.ac.be!bart
  3. From: bart@cs.kuleuven.ac.be (Bart De Decker)
  4. Newsgroups: sci.crypt,alt.security
  5. Subject: Looking for some authentication papers
  6. Message-ID: <1992Oct15.191814.3630@cs.kuleuven.ac.be>
  7. Date: 15 Oct 92 19:18:14 GMT
  8. Sender: news@cs.kuleuven.ac.be
  9. Organization: Dept. Computerwetenschappen K.U.Leuven
  10. Lines: 21
  11. Nntp-Posting-Host: euler.cs.kuleuven.ac.be
  12.  
  13.  
  14. I'm looking for a copy of the following papers:
  15.  
  16. - Michael Burrows, Martin Abadi, and Roger Needham, "A Logic of Authentication",
  17.   Proc. R.Soc.Lond.A 426(1989), pp. 233-271
  18. - M. Burrows, M. Abadi and R. Needham, "Authentication: A Practical Study in Belief
  19.   and Action", Proc. of the 2nd Conf. on Theoretical Aspects of Reasoning about Knowledge,
  20.   M. Vardi, ed., 1987, pp. 325-342
  21.  
  22. Are they archived somewhere, where I could ftp them?
  23. If not, could somebody send me a paper copy? (Reply first by e-mail before doing so; I just need
  24. one copy, not a few hundred ;-))
  25.  
  26. Thanks a lot,
  27.  
  28. -- Bart -- bart@cs.kuleuven.ac.be
  29. -- 
  30. Bart De Decker                 | Katholieke Universiteit Leuven  
  31. bart@cs.kuleuven.ac.be         | Department of Computer Science 
  32. FHGAA27@BLEKUL11               | Celestijnenlaan 200 A 
  33. Tel: +(32) 16 20 10 15 x3633   | B-3001 Leuven (Heverlee), Belgium
  34.