Computer Security, Esorics 92: Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992: Proceedings (Advances in Anatomy, Embryology, and Cell Biology)

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.--publisher's Website. Y. Deswarte, G. Eizenberg, J-j. Quisquater, (eds.). Includes Author Index. Includes Bibliographical References. Front Matter....Pages 1-1 Towards security in an open systems federation....Pages 3-20 Type-level access controls for distributed structurally object-oriented database systems....Pages 21-40 On the Chinese Wall model....Pages 41-54 Front Matter....Pages 55-55 Formal methods and automated tool for timing-channel identification in tcb source code....Pages 57-75 Separating the specification and implementation phases in cryptology....Pages 77-101 Formal specification of security requirements using the theory of normative positions....Pages 103-121 Front Matter....Pages 123-123 Breaking the traditional computer security research barriers....Pages 123-138 Front Matter....Pages 139-139 Verification and modelling of authentication protocols....Pages 141-154 KryptoKnight authentication and key distribution system....Pages 155-174 Associating metrics to certification paths....Pages 175-189 Front Matter....Pages 191-191 An Object-Oriented view of fragmented data processing for fault and intrusion tolerance in distributed systems....Pages 193-208 The development and testing of the identity-based conference key distribution system for the RHODOS distributed system....Pages 209-228 Policy enforcement in stub autonomous domains....Pages 229-257 Front Matter....Pages 259-259 Freshness assurance of authentication protocols....Pages 261-271 A formal framework for authentication....Pages 273-292 Timely authentication in distributed systems....Pages 293-303 Front Matter....Pages 305-305 Polyinstantiation for cover stories....Pages 307-328 On transaction processing for multilevel secure replicated databases....Pages 329-347 Security constraint processing in multilevel secure AMAC schemata....Pages 349-370 Front Matter....Pages 371-371 M 2 S: A machine for multilevel security....Pages 373-391 Front Matter....Pages 371-371 GDoM a multilevel document manager....Pages 393-408 Front Matter....Pages 409-409 UEPS — A second generation electronic wallet....Pages 411-418 A hardware design model for cryptographic algorithms....Pages 419-434 ASAX: Software architecture and rule-based language for universal audit trail analysis....Pages 435-450 Annotation This volume presents the proceedings of the second EuropeanSymposium on Research in Computer Security (ESORICS 92),held in Toulouse in November 1992.The aim of this symposium is to further the progress ofresearch in computer security by bringing togetherresearchers in this area, by promoting the exchange of ideaswith system developers, and by encouraging links withresearchers in areas related to computer science,informationtheory, and artificial intelligence.The volume contains 24 papers organizedinto sections onaccess control, formal methods, authentication, distributedsystems, database security, system architectures, andapplications.ESORICS 92 was organized by AFCET (Association francaise dessciences et technologies de l'information et des syst mes)in cooperation with a large number of national andinternational societies and institutes This book constitutes the refereed proceedings of the 4th European Symposium on Research in Computer Security, ESORICS '96, held in Rome, Italy, in September 1996 in conjunction with the 1996 Italian National Computer Conference, AICA '96.The 21 revised full papers presented in the book were carefully selected from 58 submissions.