Computer Security - ESORICS 96

Development of a Secure Electronic Marketplace for Europe.- Lightweight micro-cash 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.- Limitations of the approach of solving a network's security problems with a firewall.- Sleepy network-layer authentication service for IPSEC.- Certified electronic mail.- Distributed proctoring.- 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.- Panel session: Authors' rights and copyright protection.- Modelling a public-key infrastructure.- Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches.