2. ESORICS 1992: Toulouse, France

Access Control

• John A. Bull, Li Gong, Karen R. Sollins:
  Towards Security in an Open Systems Federation. 3-20
  
• Udo Kelter:
  Type-Level Access Controls for Distributed Structurally Object-Oriented Database Systems. 21-40
  
• Volker Kessler:
  On the Chinese Wall Model. 41-54
  

Formal Methods

• Jingsha He, Virgil D. Gligor:
  Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. 57-76
  
• Marie-Jeanne Toussaint:
  Separating the Specification and Implementation Phases in Cryptology. 77-102
  
• Andrew J. I. Jones, Marek J. Sergot:
  Formal Specification of Security Requirements using the Theory of Normative Positions. 103-121
  

Invited Talk

• Yvo Desmedt:
  Breaking the Traditional Computer Security Barriers. 125-138
  

Authentication 1

• Ralf C. Hauser, E. Stewart Lee:
  Verification and Modelling of Authentication Protocols. 141-154
  
• Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti:
  KryptoKnight Authentication and Key Distribution System. 155-174
  
• Anas Tarah, Christian Huitema:
  Associating Metrics to Certification Paths. 175-189
  

Distributed Systems

• Jean-Charles Fabre, Brian Randell:
  An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. 193-208
  
• Michael Wang, Andrzej M. Goscinski:
  The Development and Testing of the Identity-Based Conference Key Distribution System for the RHODOS Distributed System. 209-228
  
• Gene Tsudik:
  Policy Enforcement in Stub Autonomous Domains. 229-257
  

Authentication 2

• Kwok-Yan Lam, Dieter Gollmann:
  Freshness Assurance of Authentication Protocols. 261-272
  
• Colin Boyd:
  A Formal Framework for Authentication. 273-292
  
• Kwok-Yan Lam, Thomas Beth:
  Timely Authentication in Distributed Systems. 293-303
  

Database Security

• Ravi S. Sandhu, Sushil Jajodia:
  Polyinstantation for Cover Stories. 307-328
  
• Iwen E. Kang, Thomas F. Keefe:
  On Transaction Processing for Multilevel Secure Replicated Databases. 329-348
  
• Günther Pernul:
  Security Constraint Processing in Multilevel Secure AMAC Schemata. 349-370
  

System Architectures

• Bruno d'Ausbourg, Jean-Henri Llareus:
  M²S: A Machine for Multilevel Security. 373-392
  
• Christel Calas:
  GDoM: a Multilevel Document Manager. 393-408
  

Applications

• Ross J. Anderson:
  UEPS - A Second Generation Electronic Wallet. 411-418
  
• Joan Daemen, René Govaerts, Joos Vandewalle:
  A Hardware Design Model for Cryptographic Algorithms. 419-434
  
• Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji, Isabelle Mathieu:
  ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis. 435-450