Progetto

Ordinanza della CaF concernente il voto elettronico RU …

 una descrizione univoca del significato di tutte le opzioni di configurazione utilizzate per l’applicazione dello strumento di sviluppo. 24.1.4 Si stabilisce quali sono gli standard di implementazione applicati.

24.1.5 Il software è specificato e implementato in modo tale che le funzioni di

sicurezza non possano essere aggirate.

24.1.6 Le funzioni di sicurezza sono specificate e implementate in modo tale che

siano protette dalle manipolazioni.

24.1.7 L’architettura di sicurezza del software è documentata. La documentazio-

ne:

 attesta un grado di dettaglio corrispondente alla descrizione delle funzioni di sicurezza;

 descrive i settori della sicurezza cui si indirizzano le funzioni di sicurezza;

 descrive in che modo i processi di inizializzazione vengono garantiti;

 comprova l’adempimento dei requisiti di cui a numeri 24.1.5 e 24.1.6.

24.1.8 Le specifiche funzionali sono documentate. La documentazione:

 rappresenta l’intero software;

 descrive lo scopo e l’utilizzo di tutte le interfacce;

 identifica e descrive tutti i parametri associati alle interfacce;

 descrive tutte le azioni associate alle interfacce;

 descrive tutti i messaggi di errore diretti che potrebbero risultare dal richiamo delle singole interfacce.

24.1.9 La tracciabilità fra le specifiche funzionali e i requisiti di sicurezza è

garantita fino al livello delle interfacce.

24.1.10 Tutte le funzioni di sicurezza sono implementate nel codice sorgente.

24.1.11 La tracciabilità fra l’intero codice sorgente e le specifiche delle funzioni di

sicurezza è garantita e ne è dimostrata la corrispondenza.

24.1.12 Le funzioni di sicurezza sono concepite e implementate in modo che siano

ben strutturate. La struttura interna viene descritta e comprende una motivazione che:

 indica le caratteristiche che sono state utilizzate per valutare le nozioni di «ben strutturato» e di «complessità»;

 indica che tutte le funzioni di sicurezza sono ben strutturate e non sono troppo complesse.

24.1.13 Le specifiche comprendono i seguenti elementi:

 una descrizione della struttura del software nella forma di sottosi-