Detail

Publication date: 1 de June, 2021

Proofs of Functionality for Mobile Distributed Systems

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 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.

Team

Luís Monteiro, Luis Caires, Hugo Torres Vieira,

Sname PROFUNDIS
URL http://www.it.uu.se/profundis/
State Concluded
Startdate 01/01/2002
Enddate 30/04/2005