IIT Home Page CNR Home Page

Distributed System Security

Research fields

Trustworthy and Secure Future Internet

Activities

Architectures, protocols and mechanisms for the security of distributed services and systems

This line of research addresses the security of distributed services and systems, with particular emphasis towards the Future Internet.

Formal methods for security analysis of ICT systems

This line of research includes the design and the development of models, methodologies and tools for the analysis, verification, and simulation of the security and trust properties of complex commu

People

Ilaria Matteucci

Foto di Ilaria Matteucci

Marinella Petrocchi

Foto di Marinella Petrocchi

Paolo Mori

Foto di Paolo Mori

Publications and editorial products until 01/01/2016

Security and Trust Management for Virtual Organisations: GridTrust Approach

Towards Information Flow Properties for Distributed Systems