Assembly Voting ApS. Kompagnistræde 6, København K CVR:

Transkript

1 Assembly Voting ApS Kompagnistræde 6, København K CVR:

2 Afstemningssystem, Systembeskrivelse Assembly Votings systemer og hostingmiljøer er designet til at imødekomme såvel lovkrav som akademiske anbefalinger inden for feltet. Systemet er bygget op ud fra anbefalinger fra The European Council "Legal, Operational and technical standards for e-voting" og OSCE s Guidelines for observation of electronic voting. Systemet er et multi-tenant system bygget op omkring OSS. Trafik sikres via SSL over stemmer krypteres gennem asymmetrisk kryptering baseret på elliptiske kurver. En krypteringsnøgle består af 2 nøglehalvdele ofte kaldet den offentlige nøgle og den private nøgle. Den offentlige nøgle anvendes til at kryptere en tekst, og kun den tilhørende private nøgle kan anvendes til dekryptering. Det kan udtrykkes lidt populært således: Med den offentlige nøgle kan man gemme en stemme i en forseglet kuvert. Seglet kan kun brydes hvis man har den private nøgle. Secure software Open Source Software Multitenant architecture Authentication through digital signature or combination of up to 3 factors Asymmetric encryption of votes: Elliptic Curve Encryption SSL Linux servers Hosting Assembly Voting råder over servermiljøer i flere lande. Miljøet der vil blive anvendt til Tryghedsgruppen ligger i vores serverpark i Manchester, UK. Miljøet er ISO certificeret ud fra ISO9001, ISO14001 og ISO Serveropsætningen er fuld redundant Sikker hardware 24 / 7 monitored Hosting Centre Full server redundancy Military Class hosting environment ISO 9001, ISO 14001, ISO Hardware kan ses i diagrammet nedenfor (SLA er vedlagt som bilag): 2

3 Hosting miljøet er certificeret ud fra standarderne: ISO 9001, ISO og ISO 27001: 3

4 4

5 5

6 6

7 Anvendt asymmetrisk kryptering Assembly Voting anvender som nævnt i bilag 2 elliptiske kurve kryptografi. For at forstå hvordan elliptisk kurve kryptografi virker, vedlægges her en artikel fra fagbladet Ingeniøren (Ingeniøren, 21. september 2013)) Få bedre it-sikkerhed med elliptiske kurver Primtal, diskrete logaritmer og elliptiske kurver som vel at mærke ikke har noget med ellipser at gøre er nøglen til sikker kommunikation.21. september 2013) Hvis metoderne anvendes korrekt, må selv det amerikanske National Security Agency (NSA) give op. Stol på matematikken, kryptering er din ven, som amerikaneren Bruce Schneier skrev for nylig i The Guardian om afsløringerne af NSA s omfattende overvågningsprogram. Bruce Schneier er en af verdens førende eksperter i kryptering og it-sikkerhed, og hans synspunkt deles af professor Ivan Damgård fra Aarhus Universitet: Skellet går mellem algoritmer, der har en troværdig stamtavle, og dem, der ikke har, skrev han i enkommentar på ing.dk med henvisning til, at NSA formodes at have samarbejdet med visse leverandører om at installere bagdøre i krypteringssystemer. Men hvorfor er det stadig tilforladeligt at stole på matematikken? Størst udbredelse til sikker kommunikation har asymmetriske algoritmer med to forskellige nøgler til kryptering og dekryptering. Skal Alice sende en besked til Bob, benytter hun Bobs offentlige nøgle til at kryptere sin besked. Kun Bob, som er i besiddelse af sin egen private nøgle, kan dekryptere beskeden. Nøglerne genereres med hjælp af matematiske principper, hvorefter det er simpelt at foretage en regneoperation, mens det er vanskeligt i praksis umuligt at foretage den modsatte regneoperation. De mest almindelige metoder er RSA og Diffie-Hellman. 7

8 RSA-kryptering, opkaldt efter Ron Rivest, Adi Shamir og Leonard Adleman, udnytter, at det er meget let at gange to store, mangecifrede primtal med hinanden, men vanskeligt at bestemme, hvilke to primtalsfaktorer der indgår i et sammensat tal med eksempelvis flere hundrede cifre. Alternativet er en metode udviklet af Whitfield Diffie og Martin Hellman, som er baseret på det såkaldte diskrete logaritme-problem. Vælger man to tal g og x og et stort primtal p, så er det let at udregne y = g^x modulus p, dvs. den rest man får for g^x efter division med p. Det er derimod meget vanskeligt at finde x, hvis man kender y, g og p. 8

9 Elliptisk kurve-kryptografi er beslægtet med Diffie-Hellman, men benytter egenskaber ved elliptiske kurver af formen y^2 = x^3 + ax + b. Princippet blev opdaget i 1985 af Victor S. Miller, der dengang var ansat ved IBM iusa, og uafhængigt heraf af Neal Koblitz fra University of Washington i Seattle, USA. For elliptiske kurver kan man definere regler for, hvordan man adderer to punkter, og hvordan man fordobler et punkt (se illustrationen). På den måde kan man på simpel måde beregne et punkt Q med udgangspunkt i et punkt P, så Q = kp, hvor k er et heltal. Til gengæld er det vanskeligt at finde k, hvis man kender P og Q. Principperne for addition og fordobling virker for alle punkter, hvis koordinater er beskrevet ved reelle tal. Til kryptografi anvendes dog en variant, hvor den glatte kurve erstattes med en sky af punkter, som er defineret op til en endelig feltstørrelse, på samme måde som der i Diffie-Helman sker en udregning modulus p. De samme regler for addition og fordobling gælder stadig. NIST P192-kurven er eksempelvis defineret over et endeligt felt givet ved et primtal med 192 cifre. På denne kurve kan man beregne Q = kp med noget, der svarer til 38 additioner og 192 fordoblinger. Med en ren brute force-metode skal man til gengæld foretage en fordobling og mere end 10^57 additioner for at finde k ud fra Q og P. Det er en umulig opgave i praksis. Der findes metoder, der er bedre end brute force, men humlen er, at de bedste angrebsmetoder over for elliptisk kurve-kryptografi er mere beregningstunge end angrebsmetoder over for RSA og Diffie-Hellman. Derfor er elliptiske kurver bedst til at holde på hemmelighederne. 9

10 Kort om Assembly Voting Assembly Voting er baseret på ideen om at styrke den demokratiske deltagelse i samfunds- og foreningsliv, gennem sammentænkning af demokratiske processer og nye teknologiske muligheder for debat, brugerinddragelse og sikre valghandlinger. Assembly Voting var den første udbyder af elektroniske valg i Danmark, og er i dag markedets største leverandør med ansvaret for over 1000 lov- og vedtægtsbestemte valghandlinger med mere end vælgere. Assembly Voting er samarbejdspartner i forskningsprojektet DemTech ved IT Universitetet i København, der er blandt verdens største satsninger på udvikling af sikker teknologi til elektroniske valghandlinger. Siden 2001 dedikeret fokus på valg Mere end afviklende valg Over vælgere Over registrerede og validerede kandidater Systemet anvendes bl.a. i Kommuner, Faglige organisationer, Virksomheder, Forsyningssektoren, Boligselskaber, Real Kredit institutter og mange andre demokratiske organisationer. Læs mere på AS_sep