Az előadás letöltése folymat van. Kérjük, várjon

Az előadás letöltése folymat van. Kérjük, várjon

Egy biztonságos szavazórendszer. Összefoglaló Hagyományos választások Elvárások Résztvevők Kommunikációs csatornák Szavazó sématípusok Saját séma.

Hasonló előadás


Az előadások a következő témára: "Egy biztonságos szavazórendszer. Összefoglaló Hagyományos választások Elvárások Résztvevők Kommunikációs csatornák Szavazó sématípusok Saját séma."— Előadás másolata:

1 Egy biztonságos szavazórendszer

2 Összefoglaló Hagyományos választások Elvárások Résztvevők Kommunikációs csatornák Szavazó sématípusok Saját séma

3 Hagyományos választások A szavazó bizottság feladatai: garantálja, hogy 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 megfelelő helyen számolták a szavazatomat?

4 Elvárások Jogosultság Titkosság Mindenki csak egyszer szavazhat Individuális ellenőrizhetőség Univerzális ellenőrizhetőség Igazságosság Megvesztegethetetlenség, zsarolhatatlanság (receipt-freeness)

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 Egy fizikai eszközt A számára titkos csatornának nevezünk, ha csak A küldhet üzenetet B-nek és más nem olvashatja és nem módosíthatja azt. Egy fizikai eszközt A számára szavazófülkének hívunk, ha csak A kommunikálhat (interaktívan) B-vel és más nem olvashatja és nem módosíthatja azt. Egy fizikai eszközt anonim csatornának nevezünk, ha az üzenet elküldése után az üzenetküldő személyéről nem tudunk semmit. A hirdetőtábla bárki által olvasható, csak hivatalos szervezet írhatja, más nem módosíthatja és nem törölheti.

7 Szavazó sématípusok Vak aláíráson 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 anonim csatornát használ Összeszámolás szakasza csak az érvényes azonosítóval rendelkező szavazatokat veszi figyelembe

8 Szavazó 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 (Mixnet) több lehetséges jelölt közül egy kiválasztása minden szervezet megkapja a jelöltek listáját véletlenszerűen permutálja és titkosítja, 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)

9 Szavazó sémák Vak aláíráson alapuló 1. Colin Boyd – 1988 LNCS 2. A. Fujioka, T. Okamoto, K. Ohta – 1992 LNCS (nem receipt-free, nem igazságos) 3. T. Okamoto – 1997 LNCS (titkos csatorna, szavazófülke) Homomorf titkosításon alapuló 1. J. C. Benaloh – M. Yung 1986 (titkos csatorna, szavazófülke) 2. R. Cramer, R. Gennaro, B. Schoenmakers – 1997 LNCS (nem receipt-free) 3. M. Hirt, K. Sako – 2000 LNCS (titkos csatorna) Mixneten alapuló 1. K. Sako, J. Kilian – 1995 LNCS (titkos csatorna) 2. A. Juels, D. Catalano, M. Jakobsson

10 Szavazó séma Résztvevők 1. Adminisztrátor (megbízható) 2. Szavazó Bizottság(B) 3. Szavazók(V) Regisztrációs fázis 1. p, q nagy prímek, q|(p-1) 2. gєZ/pZ rendje q AdminisztrátorSzavazó BizottságSzavazó V ID, PK V V ID, SK V, PK B

11 Szavazó séma – Szavazási fázis Szavazó Bizottság vote(V ID,SK V,x,a,c) -> ballot ballot: (V ID ||r||y, V ID ||v) y =g -x mod p r = g SK V mod p v =y a. c mod p x,α véletlen c szavazat s =x+z. SK V mod q V ID ll r ll yifeligible(PK V,r)->{0,1} r PK V = g mod p jogosultság mindenki csak egyszer szavazhat Szavazó V ID ll v z véletlen V ID ll s verify(r,z,s,y)->{0,1} r z = g s. y mod p sign(s,v) s||xa||sign(s,v) Adminisztrátor

12 Szavazó séma Összeszámlálás AdminisztrátorSzavazó BizottságHirdetőtábla s, vs, c Egyéb jellemzők 1. titkosság 2. igazságosság 3. megvesztegethetetlenség, zsarolhatatlanság individuális ellenőrizhetőség univerzális ellenőrizhetőség

13 Megvesztegethetetlenség, zsarolhatalanság Adottak: nyilvános információk - X megvesztegető (fenyegető) személy – C, View C (X : V) V szavazó c * javasolt szavazat Definíció: A V szavazó megvesztegethetetlen (zsarolhatatlan), ha bármely C esetén a V szavazó c (c * ≠ c) szavazatát a szavazó bizottság elfogadja, úgy hogy a View C (X : V) megfelel C -nek. Cél: C számára ne legyen elegendő bizonyíték Szavazó Bizottság : megkapja a c szavazatot View C (X : V) : V ID, SK V, x, a, c *, (s, c) párokat V megad egy (s *, c * ) párt C –nek, amelyhez létezik z *, melyre: s * = x + SK V. z * (mod q) Nincs elegendő bizonyíték arra, hogy az adott (s,c) párt V szavazta.

14 Előnyök Valamennyi elvárásnak megfelel Gyakorlatban megvalósítható Egyszerű

15 Összefoglaló Hagyományos választások Elvárások Résztvevők Kommunikációs csatornák Szavazó sématípusok Saját séma

16 Köszönöm a figyelmet


Letölteni ppt "Egy biztonságos szavazórendszer. Összefoglaló Hagyományos választások Elvárások Résztvevők Kommunikációs csatornák Szavazó sématípusok Saját séma."

Hasonló előadás


Google Hirdetések