Computer security–ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings

Computer Security - ESORICS 2000: 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000. Proceedings
Author: Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41031-7
DOI: 10.1007/10722599

Table of Contents:

• Checking Secure Interactions of Smart Card Applets
• Verification of a Formal Security Model for Multiapplicative Smart Cards
• How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications
• Secure Anonymous Signature-Based Transactions
• Metering Schemes for General Access Structures
• A Typed Access Control Model for CORBA
• Safety Analysis of the Dynamic-Typed Access Matrix Model
• A Formal Model for Role-Based Access Control Using Graph Transformation
• A Formal Semantics for SPKI
• Formal Verification of Cardholder Registration in SET
• Automating Data Independence
• Finding a Connection Chain for Tracing Intruders
• A Full Bandwidth ATM Firewall
• Analysing Time Dependent Security Properties in CSP Using PVS
• Unwinding Possibilistic Security Properties
• Authentication and Confidentiality via IPsec
• A Security Framework for a Mobile Agent System
• A Distributed Access Control Model for Java
• Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code

Includes bibliographical references and index