Elektroničko glasovanje pomoću pouzdane okoline za izvršavanje

diplomski rad

• Naslov (engleski): Electronic voting using trusted execution environments
• Autor: Dominik Gleich
• Mentor: Ante Đerek (mentor)
• Član povjerenstva: Ante Đerek (predsjednik povjerenstva)
• Član povjerenstva: Slobodan Ribarić (član povjerenstva)
• Član povjerenstva: Stjepan Groš (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2019-07-09, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

Koristeći najnovije tehnologije izvršavanja koda u sigurnoj okolini pokušali smo napraviti sustav za glasanje koji je po nekim značajkama bolji i jednostavniji od prijašnjih rješenja.
Osvrćemo se na potrebna svojstva sustava za glasanje te predlažemo novi sustav koji sva ta svojstva zadovoljava, u potpunosti ili djelomično. Sustav koji je savršen po svim značajkama nemoguće je napraviti jer je izvedba
bilokakvog sustava uvijek kompromis između jednostavnosti korištenja, sigurnosti i praktičnosti izvedbe. Naš sustav je hibrid između konvencionalnog sustava glasanja (izlazak i glasanje na glasačke listiće) i potpuno udaljenog sustava elektroničkog glasanja.
Uz Intel SGX tehnologiju velik broj inače osjetljivih regija komputacije sustava za glasanje moguće je prebaciti u sigurnu okolinu, koju napadač ne može čitati, ili mijenjati. Uz ovaj rad prilažemo proof-of-concept (dokaz koncepta) sustava kao C++ kod koji koristi Google Asylo razvojnu okolinu za implementaciju i testiranje Intel SGX značajke.

Sažetak (engleski)

Using the latest secure execution technologies we tried to create a system which is
better and simultaneously simpler than the previous voting solutions. We analyze required
properties of such a voting system and then suggest a new system which fulfills
those requirements, completely or partially. A system which fulfills all the requirements
at the same time while being easy to use, secure and practical is, as always, an
impossible task. Our system is a hybrid between a conventional voting system (getting
out and voting on a piece of paper in a voting booth) and a completely remote electronic
voting system. Using the Intel SGX technology allowed us to transfer a large
part of sensitive computations into a trusted computation environment, which can not
be read or modified by an attacker. With this paper we include a proof-of-concept system
using the C++ programming language on top of the Google Asylo framework to
implement and test our Intel SGX feature.

• Ključne riječi: Elektroničko glasanje; Intel SGX; sigurna komputacija; sigurna okolina; Google Asylo
• Ključne riječi (engleski): Electronic voting; Intel SGX; secure execution; trusted environment; Google Asylo
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:516709
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2020-01-07 18:07:35