Computer security, ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings - European Symposium on Research in Computer Security 1996 : Rome, Italy); Bertino, Elisa (Berlin ; New York : Springer, 1996)
Merging Heterogeneous Security Orderings / P. Bonatti, M. L. Sapino and V. S. Subrahmanian -- CSP and Anonymity / S. Schneider and A. Sidiropoulos -- Formal Semantics for Authentication Logics / G. Wedel and V. Kessler -- Threat Scenarios as a Means to Formally Develop Secure Systems / V. Lotz -- The Impact of Multilevel Security on Database Buffer Management / A. Warner, Q. Li, T. Keefe and S. Pal -- Enhancing the Controlled Disclosure of Sensitive Information / D. G. Marks, A. Motro and S. Jajodia -- Secure Concurrency Control in MLS Databases with Two Versions of Data / L. V. Mancini and I. Ray -- Modelling a Public-Key Infrastructure / U. Maurer -- Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches / C. A. Meadows.
Includes bibliographical references and index.
Keywords: Computer security -- Congresses