🚀 go-pugleaf

I'm looking for a copy of the following papers:

- Michael Burrows, Martin Abadi, and Roger Needham, "A Logic of Authentication",
  Proc. R.Soc.Lond.A 426(1989), pp. 233-271
- M. Burrows, M. Abadi and R. Needham, "Authentication: A Practical Study in Belief
  and Action", Proc. of the 2nd Conf. on Theoretical Aspects of Reasoning about Knowledge,
  M. Vardi, ed., 1987, pp. 325-342

Are they archived somewhere, where I could ftp them?
If not, could somebody send me a paper copy? (Reply first by e-mail before doing so; I just need
one copy, not a few hundred ;-))

Thanks a lot,

-- Bart -- bart@cs.kuleuven.ac.be
-- 
Bart De Decker                 | Katholieke Universiteit Leuven  
bart@cs.kuleuven.ac.be         | Department of Computer Science 
FHGAA27@BLEKUL11               | Celestijnenlaan 200 A 
Tel: +(32) 16 20 10 15 x3633   | B-3001 Leuven (Heverlee), Belgium