Project coordinator: Joachim Parrow, Uppsala University, Sweden.
[ Overview | Meetings | Visits | Events | Publications | Tools | Internal information | Deliverables]
PROFUNDIS is a FET GC project with the main goal to advance the state of the art of formal modelling and verification techniques to the point where key issues in mobile distributed systems, such as security protocols, authentication, access rights and resource management can be treated rigorously and with considerable automatic support. We shall implement automatic and partly automatic analysis methods for ascertaining correct behaviour of such systems. For this purpose we shall integrate and focus on several strands of ongoing theoretical work.
PROFUNDIS consists of three technical Work Packages (WPs), and a fourth WP which is devoted to project management. The project is divided among four sites: Uppsala (UU), Lisbon (FFCT), INRIA Sophia Antipolis and Pisa. Each site is active in all work packages, to a degree that varies between sites and over years. Each work package has an appointed leader. The Steering Committee consists of the co-ordinator and all site and work package leaders.