A project of the Center for Logic and Computation.
Participation of António Ravara in Profundis: Proofs of Functionality for Mobile Distributed Systems, a project funded by the EU proactive initiative FET-Global Computing (Contract IST-2001-33100, January 1, 2002 - December 31, 2004).
The goal of Profundis is 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 treeated rigorously and with considerable automatic support.
The contribution of the IST Group will focus on logics for systems with spatial and temporal structure, and on type systems for mobile distributed systems.
For relevant publications, you can browse the repository of publications of the Center for Logic and Computation.
Last update: March 14, 2003.