Andreina Erika Ricci
Formal verification of Remote Attestation protocols in a Fog Computing Architecture.
Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2022
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (5MB) | Preview |
Abstract
This work of thesis is related to the European project called Rainbow. Rainbow aims to provide a secure fog computing platform for managing heterogeneous IoT devices. Fog computing is a cloud infrastructure that consists in devices connecting to a cloud, but instead of forwarding data to the centre of the cloud, much of the processing is done at the edges. In this type of architecture, there are three main actors: Orchestrator, Fog Nodes, TPM(Trusted Platform Module). Since a great number of devices (Fog Nodes) is involved in this scenario, it is important that these devices can always be considered trusted: the process to check their correctness is called Remote Attestation.
The objective of this thesis is to model and verify Remote Attestation protocols, designed for the Rainbow platform, to check if they can be considered secure
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Corso di laurea
Classe di laurea
URI
![]() |
Modifica (riservato agli operatori) |
