Foundations of Security Analysis and Design VII

Il libro "Foundations of Security Analysis and Design VII" offre una raccolta completa di versioni riviste di nove lezioni tenute da importanti ricercatori durante le Scuole Internazionali sui Fondamenti dell'Analisi e del Design della Sicurezza. Questi eventi si sono svolti a Bertinoro, in Italia, negli anni 2012 e 2013, e si sono affermati come una risorsa educativa significativa. L'opera è rivolta a studenti e giovani ricercatori del mondo accademico e dell'industria che desiderano affrontare le sfide e le questioni aperte nel campo della sicurezza informatica e della sicurezza delle reti. Gli argomenti trattati sono vari e spaziano dalla sicurezza basata su modelli alla verifica automatica di applicazioni sicure, fino ai sistemi di voto crittografici e alla privacy nel cloud. Questi temi sono fondamentali per lo sviluppo di soluzioni di sicurezza nel mondo digitale odierno.