Preliminary Program

09:00-10:00 Some Applications of Petri nets to the Analysis of Parametrized Systems
Javier Esparza
(Invited Talk)
10:00-10:30 Modelling Sandboxes for Mobile Agents using Nets within Nets
Michael Köhler, Heiko Rölke
10:30-11:00 Coffee break
11:00-12:00 Principles for Entity Authentication
Riccardo Focardi
(Invited Talk)
12:00-12:30 An Availability Model for Avionic Data Bus
Alban Gabillon, Laurent Gallon
12:30-14:00 Lunch Break
14:00-15:00 Theoretical Challenges Raised by Information Security
Peter Ryan
(Invited Talk)
15:00-15:30 A Probabilistic Formulation of Imperfect Cryptography
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
15:30-16:00 Coffee break
16:00-16:30 Team Automata for Security Analysis of Multicast/Broadcast Communication
Maurice ter Beek, Gabriele Lenzini, Marinella Petrocchi
16:30-17:00 A Unified Protocol To Protect Mobile Agent Itineraries
Joan Mir, Joan Borrel
17:00-17:30 A Survey on the State-of-the-art Methods for the Automatic Verification of Security Protocols
Giorgio Delzanno, Pierre Ganty