| 08:50-09:00 | Welcome |
| 09:00-10:00 |
Events in security protocols Glynn Winskel (Invited Talk) |
| 10:00-10:30 |
Modelling non-deducibility using Petri nets Jeremy Bryans, Maciej Koutny, Peter Ryan |
| 10:30-11:00 | Coffee break |
| 11:00-12:30 |
Panel: Security Research in the NIS Countries and Opportunities for joint Cooperation with EU/INTAS I.Kotenko, F. Massacci, E.Pogossian, A.Procopio |
| 12:30-14:00 | Lunch Break |
| 14:00-15:00 |
Static analysis techniques for security protocol analysis Pierpaolo Degano (Invited Talk) |
| 15:00-15:30 |
A formal approach for the evaluation of network security mechanisms based on RBAC policies Romain Laborde, Frederic Grasset, Bassem Nasser, Francois Barrere, Abdelmalek Benzekri |
| 15:30-16:00 | Coffee break |
| 16:00-16:30 |
Analysing Password Protocol Security Against Off-line Dictionary Attacks (Extended Abstract) Ricardo Corin, Jeroen Doumen, Sandro Etalle |
| 16:30-17:00 |
A Coordination-based Methodology for Security Protocol Verification Giacomo Baldi, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto |
| 17:00-17:30 |
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance Wil van der Aalst, Ana Karla Alves de Medeiros |
| 17:30-18:00 |
Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures John Bigham, Xuan Jin, David Gamez |