Verticale
Verticale

Analisi della sicurezza dei processi di voto elettronico

In questa tesi e stato presentato un approccio per la modellazione e analisi di processi di voto. Questo approccio era gia stato usato con successo per modellare il processo di Yolo County in California. Il metodo consiste nel modellare il processo tramite un linguaggio di modellazione di processi, Little-JIL, e nell'applicare a questo modello un'analisi basata sui fault trees e Minimal Cut Sets.

Scarica il PDF Scarica il PDF
Aggiungi ai preferiti Aggiungi ai preferiti


Articoli tecnico scientifici o articoli contenenti case history
Tesi di Laurea, Università degli Studi di Bologna, Anno Accademico 2011- 2012




Settori: 


Parole chiave: 


© Eiom - All rights Reserved     P.IVA 00850640186