Progetto

Ordinanza della CaF concernente il voto elettronico RU …

ware, che esse non rendano il software vulnerabile agli attacchi;

 la prova che gli eventuali parametri introdotti non rendono il sistema vulnerabile agli attacchi.

24.3.4 Deve essere eseguito un deployment affidabile e verificabile con adeguate

misure di sicurezza, in modo da garantire che:

1. il codice utilizzato in produzione sia una rappresentazione verificabile e fedele del codice sorgente che è stato sottoposto a un controllo pubblico e a verifiche indipendenti; e

2. l’ambiente di produzione sia conforme con quello che è stato sottoposto a un controllo pubblico e a verifiche indipendenti.

Il deployment permette di stabilire una catena di conferme per la verifica del software e comprende in particolare:

 la prova che l’ambiente di produzione è conforme con quello che è stato sottoposto a un controllo pubblico e a verifiche indipendenti; eventuali divergenze (versione di firmware, file di configurazione, ecc.) devono essere documentate e motivate;

 la prova che il software utilizzato nell’ambiente di produzione è effettivamente quello che è stato allestito nella procedura di compilazione affidabile e verificabile;

 la prova che gli eventuali parametri introdotti rendono il sistema invulnerabile agli attacchi.

24.3.5 La qualità delle prove della compilazione affidabile e verificabile e del

deployment affidabile e verificabile è attestata dalla presenza di almeno due testimoni appartenenti a istituzioni diverse o attraverso procedure tecniche volte a stabilire la verità secondo lo stato delle conoscenze scientifiche e l’esperienza.

24.3.6 La catena di conferme della compilazione affidabile e verificabile e del

deployment affidabile e verificabile è resa accessibile al pubblico.

24.4 Eliminazione sistematica delle lacune

24.4.1 Vengono definiti processi per l’eliminazione delle lacune. I processi

comprendono:

 una documentazione di questi processi, in particolare per quanto riguarda la tracciabilità delle lacune per ciascuna delle versioni del software, nonché dei metodi utilizzati affinché gli utenti del sistema dispongano delle informazioni concernenti le lacune, le correzioni e le possibili misure correttive;

 l’obbligo di descrivere il genere e le conseguenze di tutte le lacune nella sicurezza, le informazioni sullo stato dei lavori volti a trovare una soluzione e le misure correttive decise;

 una descrizione degli strumenti che permettono agli utenti del si-