Sistema di e-voting per l’INFN DRESS Michele TotaRamon Orru’

Il problema L’INFN necessita di un sistema di voto elettronico: Riduzione degli spostamenti Riduzione delle spese Riduzione dell’effort necessario alla definizione di un’elezione Pricincipali caratteristiche richieste: Sicurezza Ridondanza e resistenza ai guasti Anonimato Gestione procedura di voto “in-house” Mini workshop CCR 2 Trento, Marzo 2016

REVS Accuratezza Il voto non può essere alterato Un voto invalido non viene conteggiato Democrazia Solo elettori designati possono votare Ogni elettore vota una volta sola Privacy Impossibile risalire all’elettore Impossibile mostrare il proprio voto Verificabilità Elettori verificano la correttezza Mini workshop CCR 3 Trento, Marzo 2016 Resistenza alla corruzione (Collusion) Impossibile cospirare per alterare un’elezione Disponibilità Comportamento uniforme Accessibilità per l’intera elezione Riprendibilità (Resumability) Il voto può essere interrotto e ripreso

DRESS : Attività svolte 4 ADM ADMINISTRATOR Trento, Marzo 2016 Mini workshop CCR ADM DISTRIBUTOR ADM ANONYMIZER ADM COUNTER COMMISSIONER VOTER

DRESS : Attività svolte (Core) Riscrittura e riorganizzazione completa dei server (conservata la parte crittografica) – Server layer – Common layer – Client layer Implementazione dello scambio di messaggi (RMI over SSL). Implementazione sotto-sistema di log multilevel. Implementazione sistema di configurazione (*.properties). Daemonizzazione processi server. Riscrittura e riorganizzazione delle entità di dominio. Riscrittura astrazioni Data Source layer (DAO patterns). Implementazione DAO MySQL. Mini workshop CCR 5 Trento, Marzo 2016

DRESS : Attività svolte (Core) Documento analisi dei requisiti (parziale). Definizione ERD. Repo Git (da rendere accessibili pubblicamente). – Server – Common layer – Interfaccia amministrativa – Interfaccia utente – Documentazione Utilizzo di Maven per tutti i progetti (4). Script per sysadmin operation. Avviata interazione con team Sistema Informativo per integrazione GoDiVa. Mini workshop CCR 6 Trento, Marzo 2016

DRESS : Prossimi passi (Core) Integrazione AAI. Raccolta ulteriori requisiti (stakeholder specifici). Test & Debug. Schema di deployment (HEEELP!). Completare design e casi d’uso. Mini workshop CCR 7 Trento, Marzo 2016

Interfaccia amministrativa: attività svolte Adattato il codice per l’utilizzo su un application server Automazione dei meccanismi che consentono la configurazione e gestione dei server che andranno a costituire l'infrastruttura del sistema Automazione del flusso di generazione dell’elezione, comprensivo: – della generazione e lo scambio delle informazioni crittografiche (legate alla creazione di una nuova elezione) – scambio di tutte le informazioni necessarie con i server Automatizzato il processo di generazione dei report al termine di un'elezione (ovvero lo spoglio elettorale). Implementazione temporanea della gestione degli utenti Mini workshop CCR 8 Trento, Marzo 2016

Interfaccia amministrativa : attività da svolgere Generazione automatizzata della scheda elettorale Completamento della gestione degli errori durante la creazione di un’elezione Integrazione con AAI Test e debug Mini workshop CCR 9 Trento, Marzo 2016

Interfaccia utente : attività svolte Implementazione del Voter per l'utilizzo su application server Meccanismo di autenticazione provvisorio Visualizzazione delle informazioni relative alle elezioni disponibili Presentazione della scheda elettorale dell'elezione per cui si è scelto di votare Sottomissione della scheda votata ai server preposti Mini workshop CCR 10 Trento, Marzo 2016

Interfaccia utente : attività da svolgere Approfondire l’utilizzo di soluzioni alternative per incrementare sicurezza e privacy Validazione dei dati inseriti Integrazione con AAI Test e debug Mini workshop CCR 11 Trento, Marzo 2016

Interfacce grafiche: attività svolte e da svolgere Le funzionalità del voter e del commissioner sono fruibili tramite pagine web (Servlet + JSP + CSS + JS) Completa reimplementazione grafica Accessibilità responsive (da completare) Alcune funzionalità da implementare Mini workshop CCR 12 Trento, Marzo 2016

Attività da svolgere: integrazione con GoDiVa Mini workshop CCR 13 Trento, Marzo 2016 Soluzione tamponeSoluzione definitiva voting INFN Sede RTTA RPR Direttore File di testo invio User : ______ Form creazione elezione …

Demo DRESS

Demo Accesso con Username: Password:[inviata per mail] 15

Grazie per la partecipazione DRESS 16 Michele TotaRamon Orru’