Avamprogetto (Allegato)

Allegato del Regolamento tecnico Voto elettronico della Cancelleria federale del ... (RS ...)

4. Verificabilità

Gli articoli 3 e 4 stabiliscono le disposizioni concernenti la verificabilità. Il presente allegato riproduce le condizioni in maniera formale, per illustrare i criteri per entrambe le forme della verificabilità.

A tale scopo, alla sezione 4.1 si descrive un modello astratto ridotto per descrivere una chiamata alle urne. Sulla base di quel modello, la sezione 4.2 contiene spiegazioni e ulteriori disposizioni riguardanti l’articolo 3. La sezione 4.3 mostra il modello astratto completo. La sezione 4.4 contiene spiegazioni e ulteriori disposizioni riguardanti l’articolo 4.

4.1. Modello astratto ridotto riguardante l’articolo 3

Nell’astrazione utilizzata, una chiamata alle urne è definita attraverso un verbale crittografico, consistente nello scambio di messaggi tra i seguenti partecipanti al sistema:

Aventi diritto di voto Prima della chiamata alle urne, gli aventi diritto di voto ricevono dal sistema / Votanti di VE o dalla tipografia i dati di autenticazione client. Per inviare un voto

comunicano i loro dati di autenticazione client e il loro voto alla piattaforma utenti.

Piattaforma utenti Genera il messaggio di autenticazione e lo invia assieme al voto crittato al

sistema di VE lato server. A tale scopo, utilizza parametri pubblici ottenuti prima dal sistema di VE. Se necessario, mostra ai votanti messaggi dal

sistema di VE lato server.

Ausilio tecnico In alternativa, i votanti possono comunicare il loro voto e/o i loro dati di

affidabile degli autenticazione client anche a un ausilio tecnico affidabile che può

aventi diritto di voto assumere qualsiasi compito della piattaforma utenti.

Sistema di VE (qui Genera e invia agli aventi diritto di voto prima che si rechino alle urne

sempre lato server) (eventualmente per il tramite della tipografia) i loro dati di autenticazione

client e alla piattaforma utenti parametri pubblici affinché questa possa

generare il messaggio di autenticazione e il voto crittografato. Giudica,

secondo le norme note, la validità di voti, li decritta nel rispetto del segreto di voto e calcola il risultato della votazione.

Tipografia Può essere impiegata per stampare i dati di autenticazione client e i dati

confidenziali mediante i quali i votanti possono fare uso della verificabilità

individuale (riferimento di verificabilità). Riceve i relativi dati dal sistema di VE e li inoltra agli aventi diritto di voto.

Per lo scambio di messaggi, il verbale può prevedere i seguenti canali di comunicazione:

− votanti ↔ piattaforma utenti

− votanti ↔ ausilio tecnico affidabile

− ausilio tecnico affidabile ↔ piattaforma utenti

− piattaforma utenti ↔ sistema di VE

− sistema di VE ↔ tipografia

− tipografia → aventi diritto di voto

I partecipanti al sistema e i canali di comunicazione sono affidabili oppure inaffidabili. I partecipanti al sistema affidabili custodiscono sotto chiave, senza eccezioni, i dati segreti ed eseguono esclusivamente le operazioni prescritte dal verbale. I canali affidabili assicurano che i messaggi trasmessi rimangano segreti. Inoltre, chi riceve il messaggio può fare affidamento sul fatto che chi lo invia corrisponde a quel partecipante al sistema prescritto dalla definizione del canale.

L’astrazione utilizzata formalizza inoltre un aggressore, che può corrompere e porre sotto il proprio controllo tutti i partecipanti al sistema e i canali di comunicazione inaffidabili. I partecipanti al sistema corrotti comunicano all’aggressore tutti i dati segreti e operano completamente secondo le sue istruzioni. Esso può altresì leggere o intercettare messaggi scambiati su canali inaffidabili e immettere a sua volta messaggi a suo piacimento.