Home
Publications
Posts
Talks
Collaborations
Contact
Light
Dark
Automatic
Certification
Design e sviluppo di un sistema distribuito avanzato per verifiche di security assurance
Le nuove tecnologie edge, cloud e ibride stanno rivoluzionando il modo in cui le organizzazioni gestiscono le proprie risorse informatiche. La flessibilità e l’elasticità offerte dai servizi cloud permettono di ridurre i costi e di aumentare l’efficienza, ma al contempo introducono nuove sfide in termini di sicurezza e compliance.
Alex Della Bruna
,
Nicola Bena
,
Filippo Berto
,
Marco Anisetti
2025-02-21
Completed Theses
Alex Della Bruna
Design e sviluppo di una soluzione per la valutazione di sistemi distribuiti
Le moderne architetture distribuite, caratterizzate da decentralizzazione e dalla suddivisione in microservizi, pongono sfide rilevanti nella valutazione del comportamento del sistema. Data la complessità introdotta da tali architetture, vengono richiesti sistemi di monitoraggio avanzati in grado di verificare Proprietà Non-Funzionali per valutare il comportamento dell’infrastruttura.
Enea Manzi
,
Filippo Berto
,
Marco Anisetti
2025-02-21
Completed Theses
Slides
Enea Manzi
An observability-based assurance model for non-functional properties
In the constantly evolving landscape of continuously integrated cloud-native applications, the process of security assurance has a consistently increasing importance. In order to ensure that systems are secure and behave as expected, the assurance process has to be included in the whole software lifecycle, from development to operations.
Alessandro Pinna
,
Filippo Berto
,
Marco Anisetti
2025-02-21
Completed Theses
Alessandro Pinna
Cite
×