Zero Knowledge Authenticatie Gerard Tel. Overzicht Inleiding en Conclusie Ali Baba’s Grot en Alice’ bewijs Getallen, kwadraten, wortels Het Zero Knowledge.

Slides:



Advertisements
Verwante presentaties
Lindenhout gaat 2.0, jij ook?
Advertisements

Uitleg bijwoordelijke bepaling (bwb)
Uitleg meewerkend voorwerp (mv)
Positieve en Negatieve getallen
Geloof in werking GEMEENTE DOK MARCEL GENEZING GAVEN VAN DE GEEST.
H1 Basis Rekenvaardigheden
Uitleg lijdend voorwerp (lv)
Werkloze Een werkloze solliciteert naar de post van wc-ontstopper bij Microsoft.
Naam: Mijn info : Klik op “Naam”. Vul je naam in. Doe hetzelfde met “sport” Hier kun je een foto / tekening Invoegen.
Mijn naam is Willem Wind. Mijn naam is Willem Wind En ik ben hoogbegaafd.
Men vraagt zich af waarom …??
Discipelschap.
Secure Distributed Computing Gregory Neven (3CW Pr.) Promotor: Prof. Dr. ir. Frank Piessens.
Ja maar, bij ons gaat alles goed Wij hebben geen problemen Ik heb een idee! Zullen we het zo doen? Andere prioriteiten, geen tijd Dat willen we nietPast.
Hoe kun je Geloven? 1.
Welkom.
Peer To Peer file sharing Koen Houben HI1F. Wat is p2p file sharing Bij peer to peer file sharing komt het erop neer dat je bestanden kan uitwisselen.
Presentatie A&O netwerk Arbeid & Organisatie van het NIP Nederlands Instituut van Psychologen darwine.
WIJZE SPREUKEN !.
HET CURRICULUM VITAE = VISTEKAARTJE NUMMER 2
Workshop: Geheimschrift op de TI-83+
Machtsverheffen als geheimschrift
Een workshop over katten, muizen en nadenken in de Informatica
Workshop: Geheimschrift op de TI-83+
WELKOM OP TOV!.
Netwerkspel Een workshop over computernetwerken en nadenken in de Informatica Informatica Voorlichtingsdagen Gerard Tel, Marjan van den Akker.
Beveiliging van EPD dr Gerard Tel, ICS Forum 20 december 2004.
Cursus informatiebeveiliging Eric Laermans – Tom Dhaene
Hoofdstuk 5 De stelling van Pythagoras
1 Datastructuren Een informele inleiding tot Skiplists Onderwerp 13.
Les Informatica 02/03/2004 Yperman Hans
Uitleg bijvoeglijke bepaling (bvb)
Foto 1 Sofera kreunt en wist het zweet van haar voorhoofd. Ze heeft zoveel pijn, weet niet wat te doen. Het is de tweede keer dat Sofera bevalt van een.
Hoofdstuk 9 havo KWADRATEN EN LETTERS
Heel kleine getallen.
Ken je kracht…Deel je kracht…
Werk met je schoudermaatje. Leg 12 kleurpotloden op tafel.
uit: Wiskunde in beweging – Theo de Haan
Wees eens wat OENiger Open – Eerlijk - Nieuwsgierig
Reflecteren met leerlingen tijdens kunstzinnige en culturele activiteiten. Hoe motiveer je leerlingen om te reflecteren, zodat zij inzicht krijgen in hun.
Onderzoek doen een methodische aanpak
Uitleg persoonsvorm (pv)
Het begint zoals een sprookje, maar het is er geen .....
DEEL 1 LES 4 De basis Les 4 Snijden versie
Marleen loopt met de tijd mee Tekeningen en tekst: Dick de Jong.
Dit is een puzzel om uw hersens eens goed te laten werken
Gemaakt voor alle leerlingen voor de basisklassen van het 3 e leerjaar.
Skillzz Handleiding voor mentor Powered by. Waarom Skillzz? Jouw school vindt het belangrijk dat: Jullie als klasgenoten nog beter met elkaar omgaan Dat.
Gecijferdheid les 1.4 Grootst gemene deler Kleinst gemene veelvoud
Gecijferdheid les 1.3 Kwadraten en machten
Docentinstructie: Het is aan te bevelen de eerste dia’s klassikaal te tonen en met uitleg te bespreken. Als na zes dia’s een korte demo van Celsius/Fahrenheit.
Windesheim zet kennis in werking Update Beeldcommunicatie in de GGZ Nieuwe verpleegkundige zorg. Opduikende interventies in telezorgpraktijken.
Mark Manders. Bezoek Oosterlicht 17 november Rondleiding (ouders en ll) Voordragen verhaal Maken kostuums afvalmaterialen Modeshow in de kantine voor.
Men vraagt zich af waarom …
Wat gaan we behandelen? Formules ombouwen Optellen Vermenigvuldigen
REKENEN T.E.M. 5. IK BEN TIP! TEL MET ME MEE... MET 1 DRUK OP DE KNOP WEET JE OF JOUW ANTWOORD JUIST IS! VEEL SUCCES...
Aandoeningen/ziektes Functies & anatomische eigenschappen Activiteiten en participatie Omgevingsfactoren Persoonlijke factoren InschikkelijkheidIk ben.
Reactievergelijkingen Een kwestie van links en rechts kijken.
Wat gaan we vandaag doen?  Voorbereiding op toets 17 mei 2016 lesuur 7  Eerst luister je / noteer je wat er in de toets komt. Vervolgens mag je:  Naar.
Raadsels oplopend in moeilijkheidsgraad
DE KIEZENDE GOD SPREEKT DOOR JEZUS CHRISTUS – WAT EEN ZEKERHEID! - welke zekerheid heb je over je uitverkiezing - 1. Zekerheid in Christus – - niet ‘later.
@FrRobben MOBIELE AUTHENTICATIE.
Inhoud Optellen en aftrekken. Vermenigvuldigen en delen.
DKA4-model In 4 stappen naar het antwoord.. DKA4-model. Delen, keer antwoord op het 4 e getal. Teken een tabel De getallen die bij elkaar horen, onder.
Significante cijfers Wetenschappelijke notatie
Minimodules voor de 3e klas
De distributieve eigenschap
Rekenen met letters Rekenen met letters Rekenen met letters
De vierkantjes puzzel Dit is een puzzel om uw hersens eens goed te laten werken. De vraag is bij elk figuur hoeveel vierkanten u ziet.
Transcript van de presentatie:

Zero Knowledge Authenticatie Gerard Tel

Overzicht Inleiding en Conclusie Ali Baba’s Grot en Alice’ bewijs Getallen, kwadraten, wortels Het Zero Knowledge protocol voor wortels Getallen zonder wortels: modulo

Herkenbare situatie? Is deze pinautomaat wel veilig Word ik geregistreerd als ik alcohol koop Misbruik paspoort na legitimatie (kopie!) Mijn handtekening wordt gekopieerd

Au, Au Authenticatie: bewijs wie je BENT – Kennis: wachtwoord, PIN-code – Bezit: sleutel, kaart, pasje – Eigenschap: vingerafdruk, irisscan Autorisatie: bewijs wat je MAG – Toegang tot gebouw, alcohol kopen, rijbewijs Vaak: Autorisatie door Authenticatie

Tentamens Maak je om te bewijzen dat je genoeg weet, niet om je docent slimmer te maken

Toepassing: IRMA card Kaart met foto (link met gebruiker) Laden met attributen Bewijs bezit van attribuut in Zero Knowledge Bv attribuut “18+” voor alcohol kopen I Reveal My Attributes,

Bewijzen van kennis Wachtwoord: intypen – Afluisteren en hergebruik = risico voor gebruiker! Challenge/Respons: beantwoord vraag – Afluisteren is geen risico – Uitdager kan iets vragen wat hij niet weet = risico voor gebruiker!

Een Uitje: Grot van Ali Baba Gesloten deur Geheime spreuk AB kent spreuk Bestaat AB? Is er zo’n spreuk? Claim Alice

Alice claimt haar rechten Alice is bereid te bewijzen dat zij AB is Zij vertrouwt Bob (omstanders) niet Bob wil stiekem filmen en opname verkopen

Bewijsspel: Drie stappen Alice gaat in de grot – Via L of R, zonder dat Bob dit ziet Bob kiest tussen L of R als uitgang Alice komt naar buiten via die gang Dit doen ze zeven keer; Bob gelooft Alice als zij zeven keer slaagt

Lukt het Bob te overtuigen? ALS Alice inderdaad Ali is DAN kent zij de code van de deur – Als Bob een andere gang vraagt dan waar zij is, gaat ze door de deur – Het lukt haar inderdaad steeds (7x)

Wat als Alice een bedriegster is? Kan alleen door dezelfde gang naar buiten Als Bob die gang noemt, slaagt Alice Als Bob de andere noemt, faalt Alice De kans dat Alice slaagt is 50%, ( 1 / 2 ) Kans dat Alice zeven keer slaagt: < 1%, ( 1 / 2 ) 7 Als Alice zeven keer slaagt is Bob overtuigd

De privacy van Alice Bob filmt alles stiekem Je ziet de film (zeven scenes); weet je zeker dat Alice Ali is? Mislukte scenes eruit geknipt? Gang afgesproken met Alice? Film kun je maken zonder code of Ali Bob heeft niets aan de film

Rekenen zonder wortel

Kwadrateren Hoeveel is 7,831 2 ? Druk 7,831 x 7,831 = geeft 61,32456 Welk getal x heeft x 2 = 73,243 ? Zonder √ knop kan ik het niet uitrekenen (denk ik)

Rekenregel Kwadraat (A x B) 2 = A 2 x B 2 en (A / B) 2 = A 2 / B 2 Vb met 3 en 5. 3 x 5 is 15, en 15 2 = = 9 en 5 2 = 25 en 9 x 25 = 225. Klopt voor echte getallen wel, maar op rekenmachine NIET!!

Ali Baba’s Worteldeur Op de deur staat b, een getal b is het kwadraat van Ali’s geheim a Deur gaat open als je een a zegt met a 2 = b

Alice bewijst dat zij a kent A: (Verstop in grot met “uitgang” s en s.b) Neem random r, bereken s = r 2, zeg s tegen B B: (kies de uitgang s of s.b) Zeg challenge c is 0 voor s of 1 voor s.b A: (kom naar buiten) Zeg antwoord, kies r of r.a (afh. van c) B: (controleer het antwoord) y = antwoord, check y 2 = s of y 2 = s.b

Als Alice echt Ali is Dan weet zij inderdaad a met a 2 = b. Omdat ze zelf s heeft gekozen als s = r 2, kent ze een y met y 2 = s (neem y=r), en kent ze een y met y 2 = s.b (neem y = r.a) Alice kan 7x het goede antwoord geven (zonder dat ze √ nodig heeft).

Als nep-Ali kan raden wat Bob vraagt Ik denk dat hij c = 0 gaat vragen: Random r, s = r 2, s naar Bob, hij vraagt 0, ik stuur r (als hij 1 vraagt heb ik a nodig) Ik denk dat hij c = 1 gaat vragen: Random r, s = r 2 /b, s naar Bob, hij vraagt 1, ik stuur r want r 2 = s.b !! (als hij 0 vraagt heb ik a nodig)

Als Alice een bedrieger is Dan kan zij c = 0 OF c = 1 voorbereiden maar niet beide De kans om Bob te foppen is 1 / 2 De kans dat het 7x lukt is ( 1 / 2 ) 7 < 0,01 Bedriegers worden ontmaskerd met kans 99%

Is er echt geen truukje? * Stel Alice kent a NIET Wel: truukje om een speciale s te maken waarvoor zij TWEE antwoorden weet, namelijk y 0 2 = s en y 1 2 = s.b Alice DEELT: q = y 1 /y 0 Wat is q 2 ? Dus: Alice kent a WEL

Wat weet Bob na afloop? Hij weet (vrij: 99%) zeker dat Alice Ali is Kan hij misbruiken wat hij gezien heeft? Hij kan alles in scene zetten: – Bedenk vantevoren de 7 challenges – Bedenk 7x s met juiste antwoord – Uitgewisselde vragen/antwoorden zijn precies als met echte Ali! Hieruit kan Bob niets nieuws afleiden (Munchhausen effect)

Hoe moeilijk is worteltrekken? Niet heel moeilijk: fabriek kan knopje maken Truukje met delen (wiskundeleraar vragen!) a i+1 = (a i + b/a i ) / 2 Met reële getallen kan het eigenlijk niet! Door afronden klopt ook rekenregel niet.

26 Wiskunde: Klokrekenen Rekenen modulo m met 0, 1, … m-2, m-1 Eindig veel getallen, 0, 1, +, - *, / Normale rekenregels geldig a 2.b 2 = (a.b) 2 Praktijk: m heeft ~617 cijfers!! Product van twee priemgetallen

Vermenigvuldigingstabel (77) Workshop Elgamal27 32 x 36 = 1152 Deel door 77, Rest is x 35 = 0 ???

28 Een beetje Informatica Wat kun je uitrekenen? (En hoe?) Vermenigvuldigen en modulo kan Wortel modulo m: oplossen x 2 = b kan ALLEEN als je priemfactoren van m weet 77 = 11 x 7, maar als m heel groot is, zijn factoren niet te vinden Dus √ onmogelijk

Samenvatting en Conclusie Zonder te vertellen, bewijzen wat je weet DRIE stappen Werkt met grote getallen IRMAcard Anoniem alcohol kopen Philips Smart Remote