Projet

Ordonnance de la ChF sur le vote électronique RO …

25.12.4 Le code source comprend une instruction par ligne ; il s’agit d’éviter de

saisir des instructions sur plusieurs lignes ou plusieurs instructions sur une seule ligne.

25.13 Instrumentation

25.13.1 Définition : propriété du logiciel qui permet d’en mesurer l’utilisation ou

d’identifier des erreurs.

25.13.2 Les tests unitaires¹³ couvrent tous les chemins possibles et les limites des

valeurs autorisées des paramètres d’entrée.

25.13.3 Les tests d’intégration couvrent tous les modules.

25.13.4 Les scénarios de test système couvrent tous les modules.

25.13.5 Les erreurs et les informations nécessaires sont consignées dans des fichiers

journaux.

26. Critères de contrôle pour les systèmes et leur exploitation

26.1 Contrôle du protocole cryptographique (art. 10, al. 1, let. a)

26.1.1 Objet : Il est examiné :

 si les exigences figurant à l’art. 5 en rel. avec les art. 6 et 8 et avec le ch. 2 de l’annexe sont remplies ; cette évaluation doit se faire notamment à l’aide des preuves cryptographiques et symboliques ;

 si le protocole cryptographique repose sur des protocoles et des éléments existants qui ont fait leurs preuves et dans quelle mesure ;  si des approfondissements et des améliorations peuvent contribuer à renforcer la sécurité, et lesquels.

26.1.2 Compétences : Le contrôle est effectué par des experts en cryptographie. Il

est commandé par la Chancellerie fédérale, qui vérifie qu’il est exécuté dans le respect du mandat.

26.1.3 Date du contrôle :

 Un contrôle complet est effectué avant la première mise en service ;  Le contrôle est répété après deux ou trois ans ;

 Le protocole cryptographique est soumis à un nouveau contrôle à chaque fois qu’il est modifié ou quand la recherche fait émerger de nouvelles connaissances pertinentes relatives à la sécurité des éléments cryptographiques utilisés ou à la situation sur le front des menaces.