1. ESORICS 1990: Toulouse, France

Database I

• Teresa F. Lunt, Donovan Hsieh: The SeaView Secure Database System: A Progress Report. 3-13
• Kioumars Yazdanian: Relational Database Granularity. 15-20

Database II

• Udo Kelter: Group-Oriented Discretionary Access Controls for Distributed Structurally Object-Oriented Database Systems. 23-31
• Joachim Biskup: A General Framework for Database Security. 35-41

Secure Systems I

• R. W. Jones: A General Mechanism for Access Control: Its Relationship to Secure System Concepts. 45-50
• Jörg Kaiser: An Object-Oriented Architecture to Support System Reliability and Security. 51-60
• Zoran Savic, Mihajlo Komocar: Security Kernel Design and Implementation in the IBM PC Environment. 61-68

Secure Systems II

• G. Hoffmann, S. Lechner, M. Leclerc, F. Steiner: Authentication and Access Control in a Distributed System. 71-84
• Ian F. Akyildiz, Glenn S. Benson: A Security Reclassifier for a Local Area Network. 85-95
• Laurent Blain, Yves Deswarte: An Intrusion-Tolerant Security Server for an Open Distributed System. 97-104
• E. Stewart Lee, Brian W. Thomson, Peter I. P. Boulton, Michael Stumm: An Architecture for a Trusted Network. 105-113

Models I

• Brian W. Thomson, E. Stewart Lee, Peter I. P. Boulton, Michael Stumm, David M. Lewis: Using Deducibility in Secure Network Modelling. 117-123
• Anas Tarah, Christian Huitema: CHIMÆRA: A Network Security Model. 127-132

Models II

• Frédéric Cuppens: An Epistemic and Deontic Logic for Reasoning about Computer Security. 135-145
• Colin O'Halloran: A Calculus of Information Flow. 147-159

Cryptography

• Dominique de Waleffe, Jean-Jacques Quisquater: Better Login Protocols for Computer Networks. 163-172
• Marc Girault, Jean Claude Pailles: An Identity-Based Scheme Providing Zero-Knowledge Authentication and Authenticated Key Exchange. 173-184
• Jacques Patarin: Pseudorandom Permutations Based on the D.E.S. Scheme. 185-187

Software Engineering for Security

• Ernest S. Hocking, John A. McDermid: Towards an Object Oriented Development Environment for Secure Applications. 191-200
• Gill Randell: A Case Study in the Formal Refinement of a Distributed Secure System. 201-208

Security Verification and Evaluation

• Pierre Bieber: Epistemic Verification of Cryptographic Protocols. 211-221
• Eric Deberdt, Sylvain Martin: Methodology "Minerve Security" - Evaluation Process of Software Security. 223-231

Invited Lecture

• D. J. Bailey: Managing Computer Security: How Can Research Help? 235-241
• P. Casey, A. Brouwer, D. Herson, J.-F. Pacault, F. Taal, U. Van Essen: Harmonised Criteria for the Security Evaluation of IT Systems and Products. 243-249