Metodi Formali per la Sicurezza Informatica

L’enorme aumento della capacità di calcolo nei sistemi embedded, la loro crescente diffusione nella vita quotidiana (smathphone, case intelligenti, auto, frastrutture critiche, e-health) e l’inserimento di computer e software nelle aziende di ogni dimensione hanno causato un incremento di attacchi informatici con conseguente aumento e diversificazione delle vittime.

I metodi formali sono un insieme di tecniche che permettono l’esplorazione esaustiva di tutti i possibili comportamenti di un sistema. Solitamente, sono utilizzati per la specifica e per la verifica di sistemi complessi. Generalmente nell’ambito dei metodi formali, i sistemi sono rappresentati utilizzando modelli matematici al fine di verificare delle proprietà comportamentali in modo rigoroso. Pertanto, i metodi formali offrono potenti strumenti per sviluppare sistemi sicuri. Tuttavia in passato, le comunità dei metodi formali e della sicurezza informatica non hanno quasi mai strettamente collaborato per risolvere problemi di ricerca così importanti. Questo gruppo mira a integrare le conoscenze di questi due campi di ricerca al fine di sviluppare sistemi sicuri, colmando così un vuoto esistente.