Projet

Ordonnance de la ChF sur le vote électronique RO …

2.6 Exigences applicables au protocole cryptographique : vérifiabilité universelle

Les vérificateurs reçoivent des preuves au sens de l’art. 5, al. 3, let. a, en rel. avec l’art. 6, let. a et c, qui attestent que l’attaquant :

 n’a modifié ou fait disparaître aucun suffrage partiel jusqu’au calcul des résultats, après que les suffrages correspondants ont été enregistrés comme ayant été émis conformément à la procédure prévue par le système ;

 n’a ajouté ni suffrage ni suffrage partiel non émis conformément à la procédure prévue par le système, qui ont été pris en compte dans le calcul des résultats.

2.7 Exigences applicables au protocole cryptographique : secret du vote et absence de résultats partiels anticipés

2.7.1 L’attaquant ne doit pouvoir ni compromettre le secret du vote ni établir des

résultats partiels anticipés sans devoir en plus prendre sous son contrôle les électeurs ou leurs plates-formes utilisateur.

2.7.2 À l’exception du votant et de sa plate-forme utilisateur, les participants du

système qui disposent de suffisamment d’informations pour pouvoir compromettre le secret du vote ou établir des résultats partiels anticipés ne peuvent être considérés comme étant protégés contre l’attaquant.

2.7.3 L’attaquant ne doit pas pouvoir prendre sous son contrôle de manière

inaperçue les plates-formes utilisateur en manipulant sur le serveur le logiciel pour les plates-formes utilisateur. Le votant doit à cet égard avoir la possibilité de vérifier si sa plate-forme utilisateur a reçu du serveur le logiciel correct avec les paramètres corrects, notamment la clef publique destiné à chiffrer le suffrage.

2.8 Exigence applicable au protocole cryptographique : authentification efficace

L’attaquant ne doit pouvoir émettre de suffrage conformément à la procédure prévue par le système sans prendre sous son contrôle les électeurs correspondants.

2.9 Liste des participants fiables et non fiables du système

2.9.1 Concernant le caractère concluant des preuves au sens du ch. 2.5

2.9.1.1 Les participants du système suivants sont considérés comme non fiables :

 plate-forme utilisateur

 système NF

 trois des quatre composants de contrôle par groupe, sans qu’il soit nécessaire de déterminer lesquels

 un pourcentage significatif des électeurs