| KEYWORD |
Analisi di sicurezza di protocolli V2X
Parole chiave ANALISI DELLA SICUREZZA, ANALISI DI VULNERABILITÀ
Riferimenti RICCARDO SISTO
Riferimenti esterni Simone Bussa
Gruppi di ricerca COMPUTER NETWORKS GROUP - NETGROUP, DAUIN - GR-03 - COMPUTER NETWORKS GROUP - NETGROUP, GR-03 - COMPUTER NETWORKS GROUP - NETGROUP, NETGROUP
Tipo tesi TEORICO/SPERIMENTALE
Descrizione La tesi contribuirà ad attività di ricerca interne al Politecnico sulla sicurezza dei protocolli V2X. Tali protocolli sono una innovazione che presto entrerà nella pratica e che consentirà ai veicoli di comunicare con varie altre entità (altri veicoli, l'infrastruttura stradale, gli utenti e i loro dispositivi) con molteplici fini quali aumentare la sicurezza stradale, le condizioni del traffico, l'efficienza energetica, etc. La security di questi protocolli è molto importante per renderli effettivamente adottabili in pratica. Esistono attualmente varie proposte di questi protocolli che permetteranno prossimamente di arrivare a soluzioni standardizzate. La tesi si focalizzerà sull'analisi della security di alcune proposte di protocolli V2X. Il candidato analizzerà la sicurezza dei protocolli proposti utilizzando lo strumento di verifica formale Proverif (https://prosecco.gforge.inria.fr/personal/bblanche/proverif/) o strumenti analoghi come Tamarin (https://tamarin-prover.github.io/), con l'obiettivo di identificare possibili attacchi ai protocolli ed eventualmente suggerire migliorie. Il candidato dovrebbe avere buone basi di cybersecurity. Per questa tesi è fortemente raccomandabile aver seguito il corso "Security Verification and Testing", che fornisce le basi necessarie. Tramite questa tesi il candidato potrà rafforzare le proprie abilità relative all'analisi di sicurezza di algoritmi e protocolli.
Conoscenze richieste Reti di Calcolatori, Cybersecurity, Security Verification
Scadenza validita proposta 11/07/2024
PROPONI LA TUA CANDIDATURA