| KEYWORD |
Sicurezza Integrata per l'IoT: Metodologie e Certificazione per Dispositivi Smart Collaborativi
Parole chiave CYBERSECURITY, IOT, MODEL CHECKING
Riferimenti LUCA ARDITO
Riferimenti esterni Alessandro Aldini
Gruppi di ricerca DAUIN - GR-16 - SOFTWARE ENGINEERING GROUP - SOFTENG
Tipo tesi SPERIMENTALE
Descrizione La proposta di tesi riguarda l'ambito dei dispositivi intelligenti IoT collaborativi e la necessitą, in questo contesto, di meccanismi che certifichino l'integrazione conforme alla sicurezza tra API specifiche dei dispositivi e funzionalitą generiche fornite da sviluppatori di applicazioni di terze parti. In particolare, scopo della tesi č progettare un insieme di meccanismi e metodologie da utilizzare come elementi costitutivi per supportare tale certificazione. Come applicazione pratica, sarą possibile testare l'approccio proposto su un prototipo proof-of-concept per un ambiente Smart Home. Le tecniche e gli approcci specifici riguardano il security-by-design, il controllo degli accessi e il policy enforcement, le tecniche di analisi della conformitą basate su modelli, il model checking e, in generale, tecniche di verifica formale.
Conoscenze richieste IoT, Sicurezza informatica, Security by Design, Analisi della conformitą e Model Checking
Scadenza validita proposta 04/11/2024
PROPONI LA TUA CANDIDATURA