P. Bieber, J. Cazin, P. Girard, J. -L. Lanet, V. Wiels, G. Zanon (auth.), Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner (eds.)3540410317, 9783540410317
The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification, Internet security, security property analysis, and mobile agents.
Table of contents :
Front Matter….Pages –
Checking Secure Interactions of Smart Card Applets….Pages 1-16
Verification of a Formal Security Model for Multiapplicative Smart Cards….Pages 17-36
How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications….Pages 37-54
Secure Anonymous Signature-Based Transactions….Pages 55-71
Metering Schemes for General Access Structures….Pages 72-87
A Typed Access Control Model for CORBA….Pages 88-105
Safety Analysis of the Dynamic-Typed Access Matrix Model….Pages 106-121
A Formal Model for Role-Based Access Control Using Graph Transformation….Pages 122-139
A Formal Semantics for SPKI….Pages 140-158
Formal Verification of Cardholder Registration in SET….Pages 159-174
Automating Data Independence….Pages 175-190
Finding a Connection Chain for Tracing Intruders….Pages 191-205
A Full Bandwidth ATM Firewall….Pages 206-221
Analysing Time Dependent Security Properties in CSP Using PVS….Pages 222-237
Unwinding Possibilistic Security Properties….Pages 238-254
Authentication and Confidentiality via IP sec ….Pages 255-272
A Security Framework for a Mobile Agent System….Pages 273-290
A Distributed Access Control Model for Java….Pages 291-308
Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code….Pages 309-323
Back Matter….Pages –
Reviews
There are no reviews yet.