IIT Home Page CNR Home Page

Distributed System Security

Tematiche di ricerca

Trustworthy and Secure Future Internet

Attività

Architetture, protocolli e meccanismi di sicurezza per sistemi e servizi distribuiti

In questa attività si concentrano le azioni di ricerca sui nuovi modelli e meccanismi di sicurezza per sistemi distribuiti, orientati all'Internet del futuro.

Metodi formali per la sicurezza di sistemi ICT

Questa attività di ricerca riguarda lo studio, il progetto e lo sviluppo di modelli, metodologie e strumenti software per l’analisi, la validazione, la verifica e la simulazione di aspetti di

Persone

Ilaria Matteucci

Foto di Ilaria Matteucci

Marinella Petrocchi

Foto di Marinella Petrocchi

Paolo Mori

Foto di Paolo Mori

Pubblicazioni e prodotti editoriali prima del 01/01/2016

Security and Trust Management for Virtual Organisations: GridTrust Approach

Towards Information Flow Properties for Distributed Systems