Journal of Computer Security, Volume 4

Volume 4, Number 1, 1996

Guest Editors: Elisa Bertino, Gérard Eizenberg and Roger M. Needham (ESORICS '94)

Bruno d'Ausbourg, Christel Calas: Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. 3-26 BibTeX
A. W. Roscoe, Jim Woodcock, L. Wulf: Non-interference through Determinism. 27-54 BibTeX
Ueli M. Maurer, Pierre E. Schmid: A Calculus for Security Bootstrapping in Distributed Systems. 55-80 BibTeX
Azad Jiwa, Thomas Hardjono, Jennifer Seberry: Beacons for Authentication in Distributed Systems. 81-96 BibTeX
Ralf C. Hauser, Philippe A. Janson, Refik Molva, Gene Tsudik, Els Van Herreweghen: Robust and Secure Password and Key Change Method. 97-112 BibTeX

Shiuh-Pyng Shieh, Virgil D. Gligor: Detecting Illicit Leakage of Information in Operating Systems. 123-148 BibTeX
Paul Ammann, Richard J. Lipton, Ravi S. Sandhu: The Expressive Power of Multi-parent Creation in Monotonic Access Control Models. 149-166 BibTeX
Dennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith: A Sound Type System for Secure Flow Analysis. 167-188 BibTeX
John P. McDermott, Ravi Mukkamala: A Performance Comparison of Five Transaction Processing Algorithms for the SINTRA Replicated-Architecture Database system. 189-228 BibTeX
D. Elliot Bell, Leonard J. LaPadula: Secure Computer Systems: A Mathematical Model, Volume II. 229-263 BibTeX

Michael K. Reiter, Matthew K. Franklin, John B. Lacy, Rebecca N. Wright: The Omega Key Management Service. 267-288 BibTeX
Shaw-Cheng Chuang: Securing ATM Networks. 289-330 BibTeX
Matt Bishop: Conspiracy and Information Flow in the Take-Grant Protection Model. 331-360 BibTeX