Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

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

Bacheloruddannelsen i datalogi

  • Mundtlig, bedømt efter 7-skala med intern censur

Bacheloruddannelsen i datalogi (1.del i datalogi-matematik)

  • Mundtlig, bedømt efter 7-skala med intern censur

Kandidatuddannelsen i datalogi

  • Mundtlig, bedømt efter 7-skala med intern censur


Mundtlig eksamen uden forberedelse
7-skala, intern censur