Programma di community

Specifiche del sistema

Le specifiche corrispondono a una spiegazione dettagliata del protocollo crittografico. Descrivono la procedura dalla configurazione dello scrutinio elettronico al conteggio del voti, passando per la fase di espressione del voto. Contengono i cosiddetti pseudocodici necessari per la spiegazione degli algoritmi. Le specifiche descrivono gli algoritmi generali e alcune delle loro componenti fondamentali.

Visualizzare le specifiche su GitLabTarget not accessible

Documentazione sull’architettura

La documentazione sull’architettura descrive l’assetto del sistema di voto elettronico: a partire dalle condizioni quadro giuridiche, passando per la soluzione di voto elettronico vera e propria con i suoi diversi componenti e interfacce, nonché principi e decisioni relativi all’architettura fino ai requisiti di qualità che il sistema deve soddisfare.

Visualizzare la documentazione sull’architettura su GitLabTarget not accessible

Codice sorgente del sistema

Per codice sorgente si intende un testo scritto in un determinato linguaggio di programmazione che definisce regole e requisiti specifici sulla base dei quali viene creato un software. Il codice sorgente del sistema di voto elettronico comprende le componenti dell’intero software con le quali vengono implementate le disposizioni del protocollo crittografico.

Il codice sorgente pubblicato del sistema di voto elettronico è elaborato in modo da poter essere compilato, testato e simulato in tutta semplicità.

Visualizzare il codice sorgente su GitLabTarget not accessible

(ausilio tecnico per scrutatrici e scrutatori)

Il nuovo sistema di voto elettronico della Posta dispone di una verificabilità completa. Un’autorità elettorale cantonale può usare questo sistema per verificare tutti i voti espressi elettronicamente dopo la chiusura dell’urna e rilevare tutte le irregolarità. A tale scopo, scrutatrici e gli scrutatori hanno a disposizione un software di verifica. Questo software indipendente dal sistema e non collegato nessuna rete è in grado di dimostrare se le prove crittografiche ottenute sono state registrate correttamente. Se tutte le prove sono corrette significa che tutti i voti espressi elettronicamente e il loro conteggio non sono falsificati. Il software riconosce fra l’altro se il server dell’operatore sui cui è attivo il sistema è stato attaccato.

La Posta pubblica il software di verifica con una licenza open source libera.

Su questa base, terzi con o senza scopi commerciali possono valutare, continuare a sviluppare il software e immetterlo sul mercato come prodotto a se stante. L’obiettivo della Posta è infatti consentire l’utilizzo di un software di verifica di terzi.

Visualizzare il software di verifica su GitLabTarget not accessible

Protocollo crittografico

Questo documento scientifico descrive in forma matematica il sistema di voto elettronico della Posta. Illustra come gli elementi crittografici garantiscano la salvaguardia della segretezza del voto e la verificabilità individuale e universale.

Le novità riguardanti il protocollo crittografico dal 2019 sono descritte in una documentazione di accompagnamento, disponibile anch’essa su GitLab.

Accedere al protocollo crittografico su GitLabTarget not accessible

Analisi simbolica

L’analisi simbolica costituisce un’integrazione alle prove crittografiche, volta a salvaguardare la segretezza del voto e a garantire la verificabilità individuale e universale del sistema di voto elettronico della Posta. L’analisi simbolica è allestita nel linguaggio di programmazione Proverif e la sua correttezza può essere verificata meccanicamente con l’ausilio di un apposito software.

Accedere all’analisi simbolica su GitLabTarget not accessible

La library predisposta dalla Posta contiene importanti algoritmi crittografici, le cosiddette primitive crittografiche, che vengono impiegati sia nel sistema di voto elettronico sia nel software di verifica separato. Una componente importante delle primitive crittografiche attualmente disponibili sono gli algoritmi impiegati nel mix network. Ulteriori algoritmi verranno usati in tappe successive della divulgazione.

Sono disponibili anche le specifiche delle primitive crittografiche.

Accedere alla library su GitLabTarget not accessible

Dall’17 giugno al 3 luglio la Posta ha condotto un test pubblico di intrusione durante il quale hacker etici hanno tentato di penetrare nell’infrastruttura per il voto elettronico. Oltre a essere una misura ricorrente nell’ambito della verifica del sistema di voto elettronico, il test di intrusione è un requisito di legge previsto dalla Confederazione. Alla possibilità di test statica (analisi dei documenti) e a quella dinamica (esecuzione del sistema sul computer personale), si aggiunge quindi una terza possibilità. La Posta continuerà a svolgere anche in futuro test pubblici di intrusione.

Per saperne di più

Documentazione di sistema («Infrastructure Whitepaper»)

L’Infrastructure Whitepaper descrive l’infrastruttura per il voto elettronico con tutti gli aspetti relativi alla sicurezza implementati, tra cui anche informazioni sui centri di calcolo nonché sull’impostazione e l’impiego dell’infrastruttura e delle banche dati. Di seguito sono descritte le diverse misure di sicurezza.

Accedere alla documentazione di sistema su GitLabTarget not accessible

Operation Whitepaper

L’Operation Whitepaper descrive i processi operativi sul voto elettronico, inclusi tutti gli aspetti legati alla sicurezza che sono stati implementati. Ne fanno parte le informazioni sull’organizzazione dell’esercizio, le disposizioni di supporto, le modifiche e la manutenzione ma anche i processi di backup e di ripristino. 

Vsiualizzare il Operation Whitepaper su GitLabTarget not accessible

Descrizione del processo di sviluppo

La Posta sviluppa il sistema di voto elettronico con una gestione agile del progetto. Questo documento descrive lo sviluppo del software, fornisce una panoramica dei tool impiegati e mostra come vengono rispettati i numerosi requisiti qualitativi in fase di sviluppo e come vengono poi verificati. È inoltre illustrata la procedura per la pubblicazione regolare del codice sorgente.

Visualizzare la descrizione del processo di sviluppo su GitLabTarget not accessible

Trusted build

Il trusted build è un compilatore di software affidabile e verificabile che permette di garantire che la release eseguibile venga creata da componenti verificati. Vengono adottate misure procedurali e organizzative per adempiere i requisiti dell’Ordinanza della Cancelleria federale concernente il voto elettronico (OVE).

Visualizzare il trusted build su GitLabTarget not accessible

Progetto di test

Ai fini dello sviluppo del sistema di voto elettronico, vengono effettuati test a diversi livelli. Viene verificata la conformità del software ai requisiti posti dall’OVE, nonché a direttive interne di Posta CH SA legate allo standard ISO 25010. Il progetto di test illustra l’intera procedura e contempla gli oggetti del test, l’infrastruttura impiegata, il reporting e l’organizzazione del test.

Visualizzare il progetto di test su GitLabTarget not accessible