Progetto

Ordinanza della CaF concernente il voto elettronico RU …

24.2.2 Il manuale d’esercizio deve indicare tutti i possibili modi d’esercizio del

software, comprese la ripresa dell’esercizio dopo la scoperta di errori nonché una descrizione delle conseguenze e delle implicazioni derivanti da tali errori per il mantenimento di un esercizio sicuro.

24.2.3 Il manuale d’esercizio deve essere preciso e adeguato allo scopo.

24.3 Compilazione e deployment affidabili e verificabili

24.3.1 Il processo di preparazione descrive tutti i passi necessari per:

 un’accettazione sicura delle componenti del sistema conformemente alle procedure di fornitura;

 una preparazione sicura dell’ambiente d’esercizio conformemente agli obiettivi di sicurezza d’esercizio;

 un’istallazione sicura del software nell’ambiente d’esercizio.

24.3.2 La fornitura del software o di parti del sistema è documentata e compren-

de tutti i processi necessari al mantenimento della sicurezza in occasione della fornitura del software.

24.3.3 Deve essere eseguita una compilazione affidabile e verificabile con ade-

guate misure di sicurezza. In tal modo è garantito che il codice eseguibile sia una rappresentazione verificabile e fedele del codice sorgente che è stato sottoposto a un controllo pubblico e a verifiche indipendenti. La compilazione permette di stabilire una catena di conferme per la verifica del software e comprende in particolare:

 la prova che l’ambiente di compilazione è impostato come quello descritto sulla piattaforma pubblica (insieme degli strumenti con la loro rispettiva versione, sistema d’esercizio ed eventuali configurazioni); eventuali divergenze devono essere documentate e motivate;

 la prova che il software è stato compilato conformemente alle istruzioni disponibili sulla piattaforma pubblica; se al momento della compilazione viene ravvisata una lacuna nelle istruzioni, essa va iscritta in un protocollo e la documentazione deve essere successivamente adeguata;

 la prova che il codice sorgente sottoposto al controllo pubblico e verificato è effettivamente quello che è stato utilizzato per la compilazione;

 la prova che non è stato introdotto alcun elemento diverso da quelli previsti nelle istruzioni;

 la prova che tutte le firme crittografiche delle dipendenze sono state verificate rispetto a un riferimento comprovato, pubblico e affidabile (p. es. Maven Central Repository);

 la prova che è stata condotta un’analisi dei punti deboli delle dipendenze e, nel caso in cui esistano punti deboli rilevanti per il soft-