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.

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

Bases

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.

Protocoles pour le système avec vérifiabilité universelle

Rapport de preuve de sécurité sur la vérifiabilité complète (PDF, 1.1 MB)Document indisponible. (version anglaise)
Dans ce rapport, nous présentons le document apportant la preuve cryptographique de la vérifiabilité complète du protocole de vote Sctyl sVote, conformément au modèle abstrait complet défini dans l’ordonnance de la Chancellerie fédérale sur le vote électronique (OVotE).

Rapport de preuve de sécurité sur l’anonymat (PDF, 1.1 MB)Document indisponible. (version anglaise)
Dans ce rapport, nous présentons le document apportant la preuve cryptographique que le protocole de vote Scytl sVote assure l’anonymat de l’électeur, conformément au modèle abstrait complet défini dans l’ordonnance de la Chancellerie fédérale sur le vote électronique (OVotE).

Rapport de preuve formel sur la vérifiabilité complète (PDF, 1.3 MB)Document indisponible. (version anglaise)
Dans ce rapport, nous présentons le document apportant la preuve symbolique de la vérifiabilité complète du protocole de vote Sctyl sVote, conformément au modèle abstrait complet défini dans l’ordonnance de la Chancellerie fédérale sur le vote électronique (OVotE).

Rapport de preuve formel sur l’anonymat (PDF, 841.8 KB)Document indisponible. (version anglaise)
Dans ce rapport, nous présentons le document apportant la preuve symbolique que le protocole de vote Scytl sVote assure l’anonymat de l’électeur, conformément au modèle abstrait complet défini dans l’ordonnance de la Chancellerie fédérale sur le vote électronique (OVotE).

Protocoles pour le système sans vérifiabilité universelle

Les documents suivants ne sont valables que pour la version à 50% de la solution de vote électronique de la Poste.

Protocole de vote électronique pour la Suisse (PDF, 956.6 KB)Document indisponible. (version anglaise)
Cet article scientifique spécialisé décrit le protocole appliqué dans le système de vote électronique de la Poste suisse. Il donne dans un premier temps un aperçu général du protocole et de ses principaux participants. Il contient ensuite une description sous forme syntaxique et par symboles pouvant servir pour d’autres protocoles utilisant les codes de retour ainsi que pour réaliser une analyse par symboles de 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 contient une description générale de la vérifiabilité individuelle du protocole utilisé par la Poste dans le cadre de son système de vote électronique.

Preuve cryptographique 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.

Analyse de la vérifiabilité individuelle et de la garantie du secret du scrutin (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.

Logiciel

Documentation sur le système de vote électronique (PDF, 1.6 MB)Document indisponible. (version anglaise)
Ce document décrit comment la Poste a mis en place une infrastructure sécurisée pour sa solution de vote électronique et présente les principales mesures de sécurité contre les cyberattaques.

Remarque: les documents supplémentaires suivants ont été publiés avec le code source et peuvent être consultés sur GitLab.com (vers l’inscription):

• Spécification du protocole cryptographique
• Architecture de la solution de vote électronique
• Scytl sVote Auditability with Control Components

Remarque: les documents spécifiques à la certification 50% du système sont disponible sur demande.

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 sans vérifiabilité universelle (PDF, 607.4 KB)Document indisponible. (version anglaise)
Ce document n’est valable que pour la version à 50% de la solution de vote électronique de la Poste (système sans vérifiabilité universelle). 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 de la Confédération suisse. 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 l’utilisation pour jusqu’à 50% de l’électorat cantonal («certification des 50%»). Des informations complémentaires relatives à la conformité du protocole cryptographique figurent sur le blog Vote électronique de la Poste.

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.