Választási protokollok. 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.

Az előadások a következő témára: "Választási protokollok. 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."— Előadás másolata:

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: x i =ξ(v i,k i ), e i =χ(x i,r i ), s i =σ i (e i ) v i szavazat, k i, r i véletlen számok ξ bit-commitment, χ vakító eljárás, σ aláírás adminisztrátor megkapja (ID i, e i, s i ) és ellenőrzi kiszámítja és elküldi d i =σ A (e i ) nyilvánosságra hozza (ID i, e i, s i ) listát Szavazó fázis szavazó kiszámítja y i =δ(d i, r i ) szavazó ellenőrzi, hogy y i az x i aláírása –e (x i, y i ) 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 k i -t Számlálás számláló bizottság felnyitja ξ(v i,k i ) –t ellenőrzi v i érvényes –e összeadja a szavazatokat és kihirdeti Jellemzők: jogosultság, titkosság(ID i,x i ), 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