PORTALE DELLA DIDATTICA

Ricerca CERCA
  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