Választási protokollok

1. Választási protokollok

2. Tartalom • Hagyományos választások • Elvárások • A választások résztvevői • Kommunikációs csatornák • Elektronikus szavazás alapsémája • Sématípusok • Konkrét sémák ismertetése • Összegzés

3. Hagyományos választások A szavazó bizottság feladatai: • csak szavazati joggal rendelkező személyek szavazhatnak • minden szavazó csak egyszer szavazhat • a szavazatok titkosak maradnak • összeszámolja a szavazatokat • nyilvánosságra hozza az eredményt Kérdések: • Biztos, hogy figyelembe vették a szavazatomat? • Biztos, hogy a megfelelő helyen számolták a szavazatomat?

4. Elvárások • Jogosultság • Titkosság • Individuális ellenőrizhetőség • Univerzális ellenőrizhetőség • Igazságosság • Megvesztegethetetlenség, zsarolhatatlanság

5. Résztvevők • Szavazók • Teendők és számítások minimalizálása • Bármikor kiléphet a folyamatból • Titkos adatok tárolhatósága • Szervezetek • Vezénylik a szavazást • Nagy számítási és tárolási kapacitás • Feltételezzük, hogy N-t szervezet megbízható

6. Kommunikációs csatornák • Nyilvános csatorna – hirdetőtábla (csak írható) • Titkos csatorna – az elküldött üzenetet senki nem láthatja vagy változtathatja meg • Anonym csatorna – garantálja, az üzenetküldő személyének titkosságát • Anonym-titkos csatorna

7. Elektronikus szavazás alapsémája • Iniciálizálás • Szavazók listájának elkészítése • Nyilvános és titkos kulcsok generálása • Nyilvános kulcsok elérhetővé tétele • Szavazás • A szavazó kommunikál a szervezetekkel a megadott csatornákon • Elkészíti a „szavazócéduláját” és elküldi a megfelelő helyre • Összeszámolás • A szervezetek a titkos és nyilvános kulcsok ismeretében „kinyitják” a cédulákat, összegzik a szavazatokat és nyilvánosságra hozzák az eredményt

8. Sématípusok • Anonym csatornán alapuló sémák • Szavazás szakasz • regisztrációs fázis – a szavazó kap egy azonosítót • a szervezet nem ismeri • minden szavazó csak egy azonosítót kap • csak a szervezet segítségével állítható elő • az azonosító érvényességét bárki ellenőrizheti • szavazó fázis – a szavazó elküldi a szavazócéduláját • tartalmazza az azonosítót és a szavazatot • anonym csatornát használ • Összeszámolás szakasza • csak az érvényes azonosítóval rendelkező szavazatokat veszi figyelembe

9. Sématípusok • Homomorf titkosításon alapuló sémák • nyilvános csatornát használ • a szavazatok homomorf titkosítással kódoltak • legalább t+1 szervezet szükséges a dekódoláshoz (titokmegosztás) • a szavazatok összegét bárki kiszámolhatja • Szavazatok permutációján alapuló sémák • több lehetséges szavazat közül egy kiválasztása • minden szervezet megkapja a szavazatok listáját véletlenszerűen permutálja és titkosítja a szavazatokat, majd az így kapott listát nyilvánosságra hozza a következő szervezet számára • a permutációt elküldi titkos csatornán keresztül a szavazónak • a szavazó az utolsó szervezet által készített listából kiválaszt egyet (az összes permutáció ismeretében) • homomorf titkosítást használ

10. FOO – Séma (Fujioka-Okamoto-Ohta) • Inicializálás • Nyilvános és titkos kulcsok generálása • Szavazás • Regisztrációs fázis • szavazó kiszámítja: xi=ξ(vi,ki), ei=χ(xi,ri), si=σi(ei) vi szavazat, ki, rivéletlen számok ξ bit-commitment, χ vakító eljárás, σ aláírás • adminisztrátor megkapja (IDi, ei, si) és ellenőrzi • kiszámítja és elküldi di=σA(ei) • nyilvánosságra hozza (IDi, ei, si) listát • Szavazó fázis • szavazó kiszámítja yi=δ(di, ri) • szavazó ellenőrzi, hogy yi az xi aláírása –e • (xi, yi) elküldése a számláló bizottságnak, mely nyilvánosságra hozza

11. FOO – Séma (Fujioka-Okamoto-Ohta) • Összeszámlálás • Felnyitás • a szavazatok és szavazók létszámának ellenőrzése • a szavazó ellenőrzi a saját szavazatát • a szavazó elküldi ki -t • Számlálás • számláló bizottság felnyitja ξ(vi,ki) –t • ellenőrzi viérvényes –e • összeadja a szavazatokat és kihirdeti Jellemzők: jogosultság, titkosság(IDi,xi), személyes ellenőrizhetőség, univerzálisan nem ellenőrizhető, igazságos, megvesztegethető a szavazó

12. Összegzés • Hagyományos szavazás jellemzői • Elektronikus szavazás alapsémája • Elvárásaink • Résztvevők és általuk használt csatornák • Konkrét sémák ismertetése