1. ESORICS 1990: Toulouse, France

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

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

Last update Fri May 24 02:31:31 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page