FOSAD 2002 Timetable Main Courses Speakers:  (CS)  Carlo Blundo and Stelvio Cimato  (MG)  Michele Bugliesi and Giuseppe Castagna  (MH)  Matthew Hennessy  (JM)  Jonathan K. Millen  (DS)  David Sands  (SS)  Steve Schneider Short Courses Speakers:  (AA)  Alessandro Aldini  (VS)  Vladimiro Sassone

Programme The school offers six main courses, each composed of 2/3 seminars, each seminar of 2 hours. In alphabetic order, the lecturers of the six main courses are the following: Carlo Blundo and Stelvio Cimato (Univ. of Salerno) Cryptographic Protocols for Internet Services Michele Bugliesi (Univ. of Venice) and Giuseppe Castagna (ENS, Paris) Security by Typing in Systems of Mobile Agents Matthew Hennessy (University of Sussex) Types for Resource Access Control and Information Flow Jonathan K. Millen (SRI International) Constraint Solving for Security Protocol Analysis David Sands (Chalmers University) Semantic Models of Secure Information flow in Programs Steve Schneider (Royal Holloway, University of London) Verifying security protocols with rank functions Short courses, each one of 2 hours, will be given by: Alessandro Aldini (University of Bologna) Non-interference Properties for Probabilistic Processes Vladimiro Sassone (University of Sussex) Capacity-Bounded Computational Ambients