2. ESORICS 1992: Toulouse, France
Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater (Eds.): Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings. Springer 1992 Lecture Notes in Computer Science ISBN 3-540-56246-X
Access Control
- 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
- Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti: KryptoKnight Authentication and Key Distribution System. 155-174
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
- Colin Boyd: A Formal Framework for Authentication. 273-292
Database Security
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team