Kryptologisk Protokolteori (Q3+Q4) ( forår 2008 - 10 ECTS )
Rammer for udbud
-
Uddannelsessprog:
(se under Undervisnings- og arbejdsform)
-
Niveau:
Valgfrit overbygningskursus
-
Semester/kvarter:
Q3+Q4 i 2007/2008
-
Timer per uge:
4
-
Deltagerbegrænsning:
-
Undervisningssted:
Århus
-
Hovedområde:
Det Naturvidenskabelige Fakultet
-
Udbud ID:
7842
Formål
Deltagerne vil efter kurset have detaljeret kendskab til teknikker til konstruktion af kryptologiske protokoller, og et grundlag for at forstå modeller for sikkerhed af flerpartsprotokoller.
Obligatorisk program
Et antal mindre skriftlige opgaver skal afleveres og godkendes i løbet af kurset
Indhold
Kurset genemgår teorien for protokoller og relaterede begreber med forbindelser til kryptologi, matematik og kompleksitetsteori. Hovedområder vi vil dække inkluderer: Probabilistiske bevissystemer, commitment systemer, zero-knowledge og sikre distribuerede beregninger. Vi vil også se på praktiske anvendelser på områder der bliver mere vigtige, efterhånden som vi håndterer flere og flere opgaver i samfundet elektronisk. Dette inkluderer f.eks. bruger identifikation, elektroniske afstemninger, distribuerede signatur- og krypteringssystemer, elektroniske kontanter, etc. Kurset forudsætter normalt det introducerende kryptologikursus, men det kan også følges af studerende med en baggrund i algoritmer og kompleksitet, som vil høre mere om forbindelsen mellem dette område og kryptologi. Kontakt forelæserne, hvis du er interesseret i at følge kurset, men ikke har fulgt Kryptografikurset. Beslægtede kurser, der måske er interessante: Kryptologi, der udbydes i 1.+2. kvarter, Kvanteinformatik, der udbydes i 1.+2. kvarter, og Matematiske Aspekter af Kryptologi, der udbydes på Matematik i 3.-4. kvarter.
Læringsmål
Deltagerne skal ved afslutningen af kurset kunne:
-
beskrive
og
klassificere
kryptografiske protokoller.
-
beskrive
modeller og definitioner af sikkerhed.
-
bevise
sikkerhed af give protokoller.
Faglige forudsætninger
Kryptologi
Underviser
Ivan Bjerre Damgård og Jesper Buus Nielsen
Undervisnings- og arbejdsform
Forelæsninger (2+2t/uge)
Litteratur
Kursusnoter
Kursushjemmeside
http://www.daimi.au.dk/~ivan/CPT.html
Udbyder
Datalogisk Institut
Tilmelding til undervisning
http://www.brics.dk/~mis/enrollment.html
Studieordning og bedømmelse
-
Mundtlig, bedømt efter 7-skala med intern censur
-
Mundtlig, bedømt efter 7-skala med intern censur
-
Mundtlig, bedømt efter 7-skala med intern censur
Mundtlig eksamen uden forberedelse
7-skala, intern censur