Security Analysis of Systems: Formalisms and Tools
LIFO, Bat. IIIA, University of Orléans (21-22 June, 2004)
Preliminary Program


Abstracts of Talks Monday, June 21, 2004

9h30 10h00 Coffee + Registration 10h00      à    12h10 C. MEADOWS - Invited Talk: "Towards a Hierarchy of Cryptographic Protocol Models". Coffee Break H. GRALL: "A Confinement Criterion for securely executing Mobile Code". 12h30 14h00 Lunch (The Agora Restaurant - Campus) 14h00      à    15h40 J. GOUBAULT-LARRECQ - Invited Talk: "Verification of Cryptographic Protocols and Automated Deduction". D. GRAY et al: "SPIKY: A Nominal Calculus for modelling Protocols that use PKIs" . 15h40 16h00 Coffee Break 16h00      à    17h20 J. CHEN: "Some Results on Timed Process Algebra". R. LABORDE et al: "A Formal Tool for User-Based Network Security Policy. ...".

Tuesday, 22 June 2004

9h00   9h30 Morning Coffee   9h30 10h30 J. SIFAKIS - Invited Talk: Priority Systems. 10h30 10h50 Coffee Break 10h50      à    12h10 R. GORRIERI et al: "A Formalization of Credit and Responsability".     S. LAFRANCE: "Using Admissible Interference to Detect Denial of Service .." .     12h30 14h00    Lunch (The Agora Restaurant - Campus)    14h00      à    15h40 R. AMADIO - Invited Talk: "Towards Control of Resources for Synchronous Systems". M. NESI et al: "On Rewriting Protocol Specifications". 15h40 16h00 Coffee Break 16h00      à    17h20 S. LIMET: "Tree Tuple Languages as Logic Programs, and Applications". M. BAUDET: "Random Polynomial-Time Attacks and Dolev-Yao Models".