Computer security, ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings /
Elisa Bertino ... [et al.], eds.
- Berlin ; New York : Springer, 1996.
- x, 364 p. : ill. ; 24 cm.
- Lcture notes in computer science ; 1146 .
- Lecture notes in computer science ; 1146. .
Includes bibliographical references and index.
Development of a Secure Electronic Marketplace for Europe / Light-Weight Micro-cash Payment for the Internet / Digital Payment Systems with Passive Anonymity-Revoking Trustees / An Authorization Model for Workflows / Role Hierarchies and Constraints for Lattice-Based Access Controls / A Multilevel Security Model for Distributed Object Systems / An Authorization Model for Federated Systems / Security for Mobile Agents: Authentication and State Appraisal / Server-Supported Signatures / Sleepy Network-Layer Authentication Service for IPSEC / Certified Electronic Mail / Distributed Proctoring / M. Waidner -- W. Mao -- J. Camenisch, U. Maurer and M. Stadler -- V. Atluri and W.-K. Huang -- R. Sandhu -- V. Nicomette and Y. Deswarte -- S. De Capitani di Vimercati and P. Samarati -- W. Farmer, J. Guttman and V. Swarup -- N. Asokan, G. Tsudik and M. Waidner -- S. F. Wu -- J. Zhou and D. Gollmann -- B. Schneier, J. Kelsey and J. Walker -- Merging Heterogeneous Security Orderings / CSP and Anonymity / Formal Semantics for Authentication Logics / Threat Scenarios as a Means to Formally Develop Secure Systems / The Impact of Multilevel Security on Database Buffer Management / Enhancing the Controlled Disclosure of Sensitive Information / Secure Concurrency Control in MLS Databases with Two Versions of Data / Modelling a Public-Key Infrastructure / Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches / P. Bonatti, M. L. Sapino and V. S. Subrahmanian -- S. Schneider and A. Sidiropoulos -- G. Wedel and V. Kessler -- V. Lotz -- A. Warner, Q. Li, T. Keefe and S. Pal -- D. G. Marks, A. Motro and S. Jajodia -- L. V. Mancini and I. Ray -- U. Maurer -- C. A. Meadows.
3540617701 (alk. paper)
96043202
Computer security--Congresses.
QA76.9.A25 / E98 1996
005.8 / COM
Includes bibliographical references and index.
Development of a Secure Electronic Marketplace for Europe / Light-Weight Micro-cash Payment for the Internet / Digital Payment Systems with Passive Anonymity-Revoking Trustees / An Authorization Model for Workflows / Role Hierarchies and Constraints for Lattice-Based Access Controls / A Multilevel Security Model for Distributed Object Systems / An Authorization Model for Federated Systems / Security for Mobile Agents: Authentication and State Appraisal / Server-Supported Signatures / Sleepy Network-Layer Authentication Service for IPSEC / Certified Electronic Mail / Distributed Proctoring / M. Waidner -- W. Mao -- J. Camenisch, U. Maurer and M. Stadler -- V. Atluri and W.-K. Huang -- R. Sandhu -- V. Nicomette and Y. Deswarte -- S. De Capitani di Vimercati and P. Samarati -- W. Farmer, J. Guttman and V. Swarup -- N. Asokan, G. Tsudik and M. Waidner -- S. F. Wu -- J. Zhou and D. Gollmann -- B. Schneier, J. Kelsey and J. Walker -- Merging Heterogeneous Security Orderings / CSP and Anonymity / Formal Semantics for Authentication Logics / Threat Scenarios as a Means to Formally Develop Secure Systems / The Impact of Multilevel Security on Database Buffer Management / Enhancing the Controlled Disclosure of Sensitive Information / Secure Concurrency Control in MLS Databases with Two Versions of Data / Modelling a Public-Key Infrastructure / Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches / P. Bonatti, M. L. Sapino and V. S. Subrahmanian -- S. Schneider and A. Sidiropoulos -- G. Wedel and V. Kessler -- V. Lotz -- A. Warner, Q. Li, T. Keefe and S. Pal -- D. G. Marks, A. Motro and S. Jajodia -- L. V. Mancini and I. Ray -- U. Maurer -- C. A. Meadows.
3540617701 (alk. paper)
96043202
Computer security--Congresses.
QA76.9.A25 / E98 1996
005.8 / COM