Journal of Computer Security, Volume 2

Volume 2, Issue 1, 1993

• Thomas Beth: Obituary: Fighting for Computer Security - Chris Jahl - in Memoriam. 3-4
• Hermann Härtig, Oliver C. Kowalski, Winfried E. Kühnhauser: The BirliX Security Architecture. 5-22
• Chris J. Mitchell, A. Thomas: Standardising Authentication Protocols Based on Public-Key Techniques. 23-36
• John Graham-Cumming: Laws of Non-Interference in CSP. 37-52
• Andrea Sgarro: Information-Theoretic Bounds for Authentication Frauds. 53-64
• Bert den Boer: A Simple and Key-Economical Unconditional Authentication Scheme. 65-72
• K. Lam: Building an Authentication Service for Distributed Systems. 73-84

Volume 2, Number 2-3, 1993

• Jonathan K. Millen: A Resource Allocation Model for Denial of Service Protection. 89-106
• Thomas Y. C. Woo, Simon S. Lam: Authorizations in Distributed Systems: A New Approach. 107-136
• Virgil D. Gligor, Shyh-Wei Luan, Joe Pato: On Inter-Realm Authentication in Large Distributed Systems. 137-158
• Jeremy Epstein, John McHugh, Hilarie K. Orman, R. Pascale, Ann B. Marmor-Squires, B. Danner, C. Martin, M. Branstad, J. Benson, D. Rothnie: A High Assurance Window System Prototype. 159-190
• Raphael Yahalom: Optimality of Asynchronous Two-Party Secure Data-Exchange Protocols. 191-210
• Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, P. Mellor, Stella Page, David Wright, J. Dobson, J. McDermid, Dieter Gollmann: Towards Operational Measures of Computer Security. 211-230
• Roshan K. Thomas, Ravi S. Sandhu: A Kernelized Architecture for Multilevel Secure Object-Oriented Databases Supporting Write-Up. 231-275

Volume 2, Number 4, 1993

• Joseph Douglas Horton, R. H. Cooper, W. F. Hyslop, Bradford G. Nickerson, O. K. Ward, R. Harland, E. Ashby, W. M. Stewart: The Cascade Vulnerability Problem. 279-290
• Jonathan T. Trostle: Modelling a Fuzzy Time System. 291-310
• Vijayalakshmi Atluri, Elisa Bertino, Sushil Jajodia: Achieving Stricter Correctness Requirements in Multilevel Secure Database Management Systems. 311-352