1. ESORICS 1990: Toulouse, France

ESORICS 90 - First European Symposium on Research in Computer Security, October 24-26, 1990, Toulouse, France. AFCET 1990 BibTeX

Database I

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

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

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

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

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

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

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

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

D. J. Bailey: Managing Computer Security: How Can Research Help? 235-241 BibTeX
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 BibTeX