Includes bibliographical references and index.

Development of a Secure Electronic Marketplace for Europe / M. Waidner -- Light-Weight Micro-cash Payment for the Internet / W. Mao -- Digital Payment Systems with Passive Anonymity-Revoking Trustees / J. Camenisch, U. Maurer and M. Stadler -- An Authorization Model for Workflows / V. Atluri and W.-K. Huang -- Role Hierarchies and Constraints for Lattice-Based Access Controls / R. Sandhu -- A Multilevel Security Model for Distributed Object Systems / V. Nicomette and Y. Deswarte -- An Authorization Model for Federated Systems / S. De Capitani di Vimercati and P. Samarati -- Security for Mobile Agents: Authentication and State Appraisal / W. Farmer, J. Guttman and V. Swarup -- Server-Supported Signatures / N. Asokan, G. Tsudik and M. Waidner -- Sleepy Network-Layer Authentication Service for IPSEC / S. F. Wu -- Certified Electronic Mail / J. Zhou and D. Gollmann -- Distributed Proctoring / B. Schneier, J. Kelsey and J. Walker --

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.