Checking Secure Interactions of Smart Card Applets
P. Bieber, J. Cazin, V. Wiels and G. Zanon, ONERA (F) P. Girard and J.L Lanet, GEMPLUS (F)

Verification of a Formal Security Model for Multi-applicative Smartcards
G. Schellhorn, W. Reif, Universität Augsburg (D)  and A. Schairer, DFKI GmbH  (D)

How much negotiation and detail can users handle
K. Rannenberg, Microsoft Research (UK)

Secure Anonymous Signature-Based Transactions
E. Van Herreweghen, IBM Research (CH)

Metering Schemes for General Access Structures
B. Masucci and D. Stinson, Universita di Salerno (I)

A typed access control model for CORBA
G. Brose, Freie Universität Berlin (D)

Safety Analysis of the Dynamic-Typed Access Matrix Model
M. Soshi, Japan Advanced Institute of Science and Technology (J)

A Formal Model for Role-Based Access Control using Graph Transformations
M.Koch, L.V.Mancini, F.Parisi-Presicce, Universita' di Roma (I)

Formal Semantics for SPKI
J. Howell and D. Kotz, Dartmouth College (USA)

Formal Verification of Card-Holder Registration in SET
G. Bella and L.C. Paulson, University of Cambridge (UK) F. Massacci and P. Tramontano, Universita di Siena (I)

Automating Data Independence
P.J. Broadfoot, G. Lowe and A.W. Roscoe, University of Oxford (UK)

Finding A Connection Chain For Tracing Intruders
K. Yoda and H. Etoh, IBM Tokyo Research (J)

A Full Bandwidth ATM Firewall
O. Paul, M. Laurent et S. Gombault, ENST (F)

Analysing Time Dependent Security Properties in CSP using PVS
N. Evans and S. Schneider, University of London (UK)

Unwinding Possibilistic Security Properties
H. Mantel, German Research Center for Artificial Intelligence (D)

Authentication and Confidentiality via Ipsec
J.D. Guttman, A. L. Herzog, and F. J. Thayer, The MITRE Corporation (USA)

A Security Framework for a Mobile Agent System
C. Bryce, Geneva University (CH)

A Distributed Access Control Model for Java
R. Molva and Y. Roudier, Institut EURECOM (F)

Using reflection as a mechanism for enforcing security policies in mobile code
I. Welch and R. J. Stroud, University of Newcastle (UK)