Wednesday, October 4

10.00 – 12.00 REGISTRATION

12.00 – 13.30 LUNCH

13.30 – 14.00 REGISTRATION

14.00 – 14.15 OPENING: Yves Deswarte, LAAS-CNRS (F) and Frédéric Cuppens, Gérard Eizenberg and Claire Saurel, ONERA (F)

14.15 – 15.45 SESSION 1:PERSONAL DEVICES AND SMARTCARDS, Chairman Peter Ryan

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)
How much negotiation and detail can users handle
K. Rannenberg, Microsoft Research (UK)
Verification of a Formal Security Model for Multi-applicative Smartcards
G. Schellhorn, W. Reif, Universtitat Augsburg (D)  and A. Schairer,  DFKI GmbH (D)

16.15 – 17.45PANEL:CYBERCRIME AND CYBERCOPS
                         Chair: M. Dacier, IBM Research (CH)

18.30 COKTAIL AT THE CAPITOLE
 

Thursday, October 5

9.00 – 10.00 SESSION 2:ELECTRONIC COMMERCE PROTOCOLS, Chairman Michael Waidner

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)

12.00 – 14.00 LUNCH

14.00 – 15.30 SESSION 4:PROTOCOL VERIFICATION, Chairman Dieter Gollmann

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)

15.30 – 16.00 COFFEE BREAK

16.00 – 17.45 SESSION 5:PRESENTATION OF POSTERS AND DEMONSTRATIONS, Chairman Frédéric Cuppens

A Role-Based Access Model for Federated Databases Security
E. Disson, Institut d'Administration des Entreprises/UMR CNRS  (F)
On the Perfect Encryption Assumptions in the Study of Security Protocols
O. Pereira and J-J Quisquater, UCL Crypto Group (B)
Adding Location Information to the Digital Signature
A. Zugenmaier, Institute for Computer Science and Social Studies (D)
Billing and Key Agreement for IP Multicast with modified SSI/TLS
J. Schwenk and T. Martin, Deutsche Telecom (D)
Configuration Management of a VPN Service: Usage of Transactional Mobile Agents Technology for QOS Requirements
K. Sammoud and N. Simoni, ENST (F)
Security Management for Corba Application
L. Babarit and N. Avi and A. I. Riviere, Alcatel (F) - F.J. Monrozier and D. Benech, CNES (F) - M. Sibilla, IRIT (F)
Mirador : A cooperative approach of IDS
S. Gombault and E. Cochevelou, ENST-Bretagne (F) - L. Mé, C. Michel and B. Morin,  Supelec (F) -  F. Cuppens and  P. Carle,  ONERA (F) -  M. Diop, J. Capoulade and S. Dubus, Alcatel (F)

19.30 BANQUET
 

Friday, October 6

9.00 – 10.00 SESSION 6:INTERNET SECURITY, Chairman Helmut  Kurth

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)

10.00 – 10.30 COFFEE BREAK

10.30 – 12.00 SESSION 7:SECURITY PROPERTY ANALYSIS, Chairman Gérard  Eizenberg

Authentication and Confidentiality via Ipsec
J.D. Guttman, A. L. Herzog, and F. J. Thayer, The MITRE Corporation (USA)
Unwinding Possibilistic Security Properties
H. Mantel, German Research Center for Artificial Intelligence (D)
Analysing Time Dependent Security Properties in CSP using PVS
N. Evans and S. Schneider, University of London (UK)

12.00 – 14.00 LUNCH

14.00 – 15.30 SESSION 8:MOBILE AGENTS, Chairman Yves Deswarte

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)

15.30 – 15.45 CLOSING REMARKS