La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

1 Vote électronique vérifiable Michel de Rougemont University Paris II & Liafa CNRS.

Présentations similaires


Présentation au sujet: "1 Vote électronique vérifiable Michel de Rougemont University Paris II & Liafa CNRS."— Transcription de la présentation:

1 1 Vote électronique vérifiable Michel de Rougemont University Paris II & Liafa CNRS

2 2 Plan 1.Vote électronique et Vote vérifiable 2.Rôle du hasard 3.TWIN (R. Rivest) 4.SCANTEGRITY II (D. Chaum)

3 3 1. Vote électronique 1.Vote: –Plurality –Approval voting –Borda voting –Condorcet systems –Range Voting 2. Electronique –Internet, accès général avant le vote –Machines à voter –Vérification

4 4 Contraintes, Motivations Contraintes: Secret du vote Vérification: chaque vote est pris en compte Motivations: Calculs sur le Cloud Comment se convaincre, que le résultat est correct ? Vote: vérification de laddition

5 5 Vérification Tous les bulletins sont sur le Web. C: 89 F: 91 C:101 F:102 C:12 F:11 C:2 F:1 C:10 F:10 Bulletin Cope X Fillon Bulletin Cope X Fillon Bulletin Cope FillonX ID: Comment contester?

6 6 Problèmes Secret du vote: On peut convaincre quelquun de son vote (les votes peuvent sacheter) Pas de secret si on vote librement sur le Web Donner un reçu Questions: Peut-on vérifier et maintenir le secret? Recherches actuelles (situation Diffie- Hellman en 1975 sur le chiffrement)

7 7 Le marché du vote électronique: Suisse et USA 1.La Suisse (1 er marché en %) Eveline Widmer-Schlumpf

8 8 Le marché Suisse du vote électronique Genève: votation de Mars 2012 Electeurs suisses de létranger de toutes les communes, Electeurs des communes: Aire-la-Ville, Anières, Avusy, Bernex, Chêne-Bougeries, ChêneBourg, Collonge-Bellerive, Cologny, Grand-Saconnex, Onex, Perly-Certoux, Planles-Ouates et Vandœuvres 7 cantons sur 26. Vote direct sur Internet. Vérification: une commission des usagers a accès au programme et au serveur. Programme C qui gère les échanges et « laddition » est public pour la commission.

9 9 Marché US du vote électronique 2.USA Ronald RIVEST R de R.S.A Prof. M.I.T Advisor to the Election Assistance Commission Technical Guidelines Development Committee (TGDC) Recommandation: Not safe enough

10 10 2. Hasard et calcul 1.Hasard Pile : Face : Rand() Rand(1,100) 2.Applications –Calcul dune fonction f(x)=y –Sondages –Correction de calculs Qbit

11 11 Correction arithmétique Fonction arithmétique: Opérateurs: +,., / buggés à 30% Comment calculer f ? Exemple:

12 12 3. Twin (R. Rivest) Vote classique: ID du bulletin inconnue, ID révélée dans lurne, Reçu: bulletin aléatoire de lurne. Bulletin Cope X Fillon Bulletin Cope X Fillon xxxxxxxxxxxx Bulletin Cope X Fillon Bulletin Cope FillonX Bulletin Cope FillonX reçu

13 13 Vérification Tous les bulletins sont sur le Web. C: 89 F: 91 C:101 F:102 C:12 F:11 C:2 F:1 C:10 F:10 Bulletin Cope X Fillon Bulletin Cope X Fillon Bulletin Cope FillonX ID: On vérifie un bulletin aléatoire

14 14 Twin-Threeballot (R. Rivest) Vote classique à 3 bulletins: Vote Copé: 2 voix pour Copé, 1 voix pour Fillon Bulletin Cope X Fillon Bulletin Cope X Fillon Bulletin Cope X Fillon Bulletin Cope FillonX Reçu aléatoire 1/3 Bulletin Cope X Fillon X Bulletin Cope Fillon

15 15 Vérification Tous les bulletins sont sur le Web. C: 89 F: 91 C:101 F:102 C:12 F:11 C:2 F:1 C:10 F:10 Bulletin Cope X Fillon Bulletin Cope X Fillon Bulletin Cope FillonX ID: On vérifie un seul de ses 3 bulletins 9 Bulletins: total: 5 Copé, 4 Fillon Bulletin Cope X Fillon X

16 16 4. Scantegrity II Un pas vers le vote vérifiable pratique: D. Chaum, R. Rivest,….. Expérimentation dans une élection locale.

17 17 Scantegrity II Table P secrète Tables Q, R, and S will be public for the verification. Q is a permutation of Ps rows. Vote for Carl on ballot 0002 code J3K (0002,1) in table Q (0002,1) in table R points to position (4,3) in table S. Position (4,3) in table S corresponds to a vote for Carl, since it is in column 3.

18 18 Scantegrity II Votes: 0001,0003 for Alice, 0002 for Carl, 0005 for Bob, 0004 for audit Suppress the invisible codes in Q In table R, suppress randomly: either the Q-pointer or the the S-pointer Flag the S t able (from the secret P) and the R table

19 19 Scantegrity II Verification: 0001,0003 for Alice, 0002 for Carl, 0005 for Bob, 0004 for audit Check lines of table R: Flags must be coherent with Q and R Case 1: no Q-pointer Coherence Q-R Case 2: no R-pointer Coherence S-R

20 20 Conclusion 1.Vote électronique et Vote vérifiable 2.TWIN (R. Rivest) 3.SCANTEGRITY II (D. Chaum) 4. Calculs fiables sur le Cloud


Télécharger ppt "1 Vote électronique vérifiable Michel de Rougemont University Paris II & Liafa CNRS."

Présentations similaires


Annonces Google