Computer Security - ESORICS 92

1. Front Matter

   Pages I-XI

   PDF

2. Access Control

   1. Front Matter

      Pages 1-1

      PDF

   2. Towards security in an open systems federation

      • John A Bull, Li Gong, Karen R Sollins

      Pages 3-20

   3. Type-level access controls for distributed structurally object-oriented database systems

      • Udo Kelter

      Pages 21-40

   4. On the Chinese Wall model

      • Volker Kessler

      Pages 41-54

3. Formal Methods

   1. Front Matter

      Pages 55-55

      PDF

   2. Formal methods and automated tool for timing-channel identification in tcb source code

      • Jingsha He, Virgil D. Gligor

      Pages 57-75

   3. Separating the specification and implementation phases in cryptology

      • Marie-Jeanne Toussaint

      Pages 77-101

   4. Formal specification of security requirements using the theory of normative positions

      • Andrew J. I. Jones, Marek Sergot

      Pages 103-121

4. Invited Talk

   1. Front Matter

      Pages 123-123

      PDF

   2. Breaking the traditional computer security research barriers

      • Yvo Desmedt

      Pages 123-138

5. Authentication I

   1. Front Matter

      Pages 139-139

      PDF

   2. Verification and modelling of authentication protocols

      • Ralf C. Hauser, E. Stewart Lee

      Pages 141-154

   3. KryptoKnight authentication and key distribution system

      • Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti

      Pages 155-174

   4. Associating metrics to certification paths

      • Anas Tarah, Christian Huitema

      Pages 175-189

6. Distributed Systems

   1. Front Matter

      Pages 191-191

      PDF

   2. An Object-Oriented view of fragmented data processing for fault and intrusion tolerance in distributed systems

      • Jean-Charles Fabre, Brian Randell

      Pages 193-208

   3. The development and testing of the identity-based conference key distribution system for the RHODOS distributed system

      • Michael Wang, Andrzej Goscinski

      Pages 209-228

   4. Policy enforcement in stub autonomous domains

      • Gene Tsudik

      Pages 229-257

7. Authentication II

   1. Front Matter

      Pages 259-259

      PDF

This volume presents the proceedings of the second European Symposium on Research in Computer Security (ESORICS 92), held in Toulouse in November 1992. The aim of this symposium is to further the progress of research in computer security by bringing together researchers in this area, by promoting the exchange of ideas with system developers, and by encouraging links with researchers in areas related to computer science, informationtheory, and artificial intelligence. The volume contains 24 papers organizedinto sections on access control, formal methods, authentication, distributed systems, database security, system architectures, and applications. ESORICS 92 was organized by AFCET (Association francaise des sciences et technologies de l'information et des syst mes) in cooperation with a large number of national and international societies and institutes. 

• Communication Security
• Computer Security
• Computersicherheit
• Data Integrity
• Database
• Datenbankensicherheit
• Datenintegrität
• Kommunikationssicherheit
• Network Protocols
• Netzwerkprotokolle
• Processing
• Security
• algorithms
• distributed systems

Policies and ethics