Vous avez la possibilité de tester le système de vote électronique de la Poste dans le cadre d’un scrutin et d’une élection fictifs.

Système de démo et page d’information sur le vote électronique

La Poste tient un blog spécialisé qui entend contribuer à un débat public objectif et basé sur les faits concernant le vote électronique.

evoting.ch/blog

La Poste est convaincue que seule une solution transparente et politiquement neutre de vote électronique peut avoir du succès sur le long terme. C’est pour cette raison que la Poste publie un certain nombre de documents et concepts pour les experts. Une publication du code source est aussi prévue.

Les documents suivants décrivent de manière détaillée le fonctionnement de la plateforme de vote électronique de la Poste. Le public cible est les experts dans le domaine du vote électronique et de la cybersécurité.

Pour toutes questions, les personnes intéressées peuvent contacter la Poste à l’adresse evoting@post.ch.

Présentation des documents disponibles

Les piliers d’un Vote Electronique de bout en bout (PDF, 815.8 KB)Document indisponible. (version anglaise)
Ce document décrit de manière tabulaire et succincte les principaux piliers de la sécurité du vote électronique sécurisé de bout en bout.

Processus d’un système de Vote Electronique sécurisé et vérifiable (PDF, 590.6 KB)Document indisponible. (version anglaise)
Ce document contient une vue graphique du processus de vote électronique sécurisé et vérifiable mis en place par la Poste Suisse.

Protocole de vote électronique suisse (PDF, 956.6 KB)Document indisponible. (version anglaise)
Cet article scientifique décrit le protocole utilisé par la Poste Suisse dans son système de vote électronique. Il présente d’abord le protocole à un haut niveau, avec un ensemble générique de participants, fournissant une description syntaxique et symbolique, qui peut être utile pour d’autres protocoles utilisant les codes de retour et aussi pour faire une analyse symbolique sur la sécurité de tels concepts. Le document fournit des détails sur l’implémentation.

Vérifiabilité individuelle, le protocole expliqué (PDF, 1.3 MB)Document indisponible. (version anglaise)
Ce document est une description haut-niveau de de la vérification individuelle du protocole utilisé par la Poste Suisse dans son système de vote électronique

Whitepaper Infrastructure de Vote Electronique (PDF, 974.8 KB)Document indisponible. (version anglaise)
Ce document décrit et présente comment la Poste Suisse a mise en place une infrastructure sécurisée pour son service de Vote Electronique. Le document introduit les principales mesures de sécurité définies contre des cyber-attaques.

Transition vers un client de Vote Electronique basé sur Javascript (PDF, 352.5 KB)Document indisponible. (version anglaise)
Ce document présente le cheminement pour remplacer un logiciel client de Vote Electronique écrit en Java par un client écrit en Javascript. En particulier il montre les expériences faites par Scytl durant le développement et le déploiement de son nouveau client Javascript.

Preuves cryptographiques de la vérifiabilité individuelle (PDF, 620.7 KB)Document indisponible. (version anglaise)
Description du protocole cryptographique du système de vote électronique utilisé en Suisse pour jusqu’à 50% de l’électorat cantonal.

Analyses de la vérifiabilité individuelle et de la sauvegarde du secret de vote (PDF, 640.5 KB)Document indisponible. (version anglaise)
Rapport sur la preuve automatique de la vérifiabilité individuelle ainsi que du secret du scrutin pour le protocole avec ProVerif.

La Confédération édicte des exigences administratives et techniques pour le vote électronique. La conformité des exigences doit être contrôlée par des services externes dans le cadre d’un audit et, en cas de dépassement de 30% de l’électorat cantonal, être également certifiée. Les justificatifs et les certificats sont les conditions préalables pour l’autorisation du vote électronique dans les cantons. Habituellement, les rapports de contrôle finaux s’expriment également sur les mesures d’amélioration mises en œuvre au cours de l’audit et devant encore être implémentées.

Vous trouverez sur cette page différents certificats et rapports de contrôle concernant le système de la Poste.

Liste des documents

Contrôle du protocole cryptographique (PDF, 607.4 KB)Document indisponible. (version anglaise)
Le protocole cryptographique décrit les différents éléments de sécurité cryptographiques et leur utilisation. Le protocole doit être analysé afin de vérifier s’il répond aux exigences de la Chancellerie fédérale. Des preuves mathématiques ont été fournies pour le prouver. Dans le cadre du contrôle, l’exactitude de ces preuves a été analysée. Vous trouverez sous ce lien le résumé du contrôle concernant la certification pour une utilisation jusqu’à 50% de l’électorat cantonal («certification 50%»). Des informations complémentaires relatives à la conformité du protocole cryptographique sont données sur le blog Vote électronique de la Poste.

Remarques sur le contrôle du protocole cryptographique:

• Ce contrôle porte sur la validation des preuves concernant la conformité du protocole cryptographique selon les directives fédérales.
• Au moment de l’analyse, le mécanisme pour les votes manuscrits (votes pour des candidats n’étant pas inscrits sur le bulletin de vote) n’était pas clarifié. Cependant, les votes manuscrits sont traités de la même manière que les autres votes qui sont soumis à ce contrôle.
• Pour la certification 50%, le modèle de la vérifiabilité individuelle est contrôlé. Les propriétés nécessaires dans ce but sont comprises dans les bases juridiques de la Confédération. En ce qui concerne la garantie du secret de vote, le protocole doit être contrôlé dans le cadre de la certification 100%. La mise en œuvre du cryptage de bout en bout de la Poste a été évaluée dans le cadre d’autres contrôles (contrôle de la fonctionnalité).
• Les documents référencés dans le rapport ne sont pas tous publics actuellement. D’autres documents seront publiés après l’obtention de la certification 100% et la publication du code source.

Contrôle de la fonctionnalité (PDF, 608 KB)Document indisponible. (version allemande)
Lors du contrôle de la fonctionnalité, il est testé si le protocole cryptographe ainsi que d’autres mesures de sécurité et processus d’utilisateurs sont mis en œuvre dans le système. Le cryptage de bout en bout qui implémente le secret du vote est également examiné dans ce contexte.

Contrôle de l’infrastructure et de l’exploitation (PDF, 779.4 KB)Document indisponible. (version allemande)
Le contrôle de l’infrastructure et de l’exploitation concerne la mise en œuvre des exigences en termes de sécurité concernant les applications, les systèmes d’exploitation, les bases de données, les éléments de sécurité et du réseau ainsi que les locaux pour l’exploitation technique sécurisée.

Contrôle de la protection contre les tentatives de pénétration dans l’infrastructure (PDF, 565.9 KB)Document indisponible. (version allemande)
Afin de tester la protection de l’infrastructure, des spécialistes mandatés dans ce but essaient de s’introduire dans l’infrastructure.