Projet

Ordonnance de la ChF sur le vote électronique RO …

24.3 Compilation et déploiement fiables et vérifiables

24.3.1 La procédure de préparation décrit toutes les étapes nécessaires :

 à une réception sûre des composants du système dans le respect de la procédure de livraison ;

 à une préparation sûre de l’environnement d’exploitation dans le respect des objectifs de sécurités opérationnels ;

 à une installation sûre du logiciel dans l’environnement d’exploitation.

24.3.2 La livraison du logiciel ou de parties du système est documentée et

comprend toutes les procédures qui sont nécessaires au maintien de la sécurité lors de la livraison du logiciel.

24.3.3 Une compilation fiable et vérifiable est réalisée au moyen de mesures de

sécurité adéquates pour garantir que le code exécutable est une représentation vérifiable et fidèle du code source qui a été soumis à un contrôle public et à des audits indépendants. Elle permet d’établir une chaîne de preuves pour la vérification du logiciel. Elle démontre en particulier :

 que l’environnement de compilation est tel que décrit sur la plateforme publique (ensemble des outils avec leur version, système d’exploitation et configurations éventuelles) ; les divergences qui pourraient exister sont documentées et justifiées ;

 que le logiciel a été compilé selon les instructions disponibles sur la plate-forme publique. Si un défaut est détecté dans les instructions au moment de la compilation, il doit être consigné, et la documentation adaptée par la suite ;

 que le code source soumis au contrôle public et audité est bien celui utilisé pour la compilation ;

 qu’aucun autre élément que ceux prévus dans les instructions n’a été introduit ;

 que toutes les signatures cryptographiques des dépendances ont été vérifiées sur la base d’une référence établie, publique et fiable (par ex. dépôt central de Maven) ;

 qu’une analyse des vulnérabilités concernant les dépendances a été conduite et, si des vulnérabilités pertinentes pour le logiciel existent, qu’elles ne le rendent pas vulnérable aux attaques ;

 que les éventuels paramètres qui ont été introduits ne rendent pas le système vulnérable.

24.3.4 Un déploiement fiable et vérifiable est réalisé au moyen de mesures de

sécurité adéquates, l’objectif étant de faire en sorte :

1. que le code déployé en production soit une représentation vérifiable et fidèle du code source qui a été soumis à un contrôle public et à des