| 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 |