Journal of Computer Security

Guest editor's preface
pp. 1-2(2)

Fault-preserving simplifying transformations for security protocols: Not Just the Needham Schroeder Public Key Protocol
pp. 3-46(44)
Authors: Hui M.L.; Lowe G.

Athena: a novel approach to efficient automatic security protocol analysis
pp. 47-74(28)
Authors: Song D.X.; Berezin S.; Perrig A.

Process algebra and non-interference
pp. 75-103(29)
Authors: Ryan P.Y.A.; Schneider S.A.

A logic for SDSI's linked local name spaces
pp. 105-142(38)
Authors: Halpern J.Y.; van der Meyden R.

A cost-based framework for analysis of denial of service in networks
pp. 143-164(22)
Author: Meadows C.