02244 Logik for sikkerhed

2023/2024

Kursusinformation
Logic for Security
Engelsk
7,5
Kandidat
Kurset udbydes som enkeltfag
F2A (man 13-17)
Campus Lyngby
Forelæsninger, praktiske øvelser og teoretiske øvelser.
13-uger
Ingen eksamen
Bedømmelse af opgave(r)/rapport(er)
Bedømmelse af individualiserede grupperapporter.
Alle hjælpemidler er tilladt
7-trins skala , intern bedømmelse
Generel viden om programmeringssprog (syntax og semantik).
Sebastian Alexander Mödersheim , Tlf. (+45) 4525 3591 , samo@dtu.dk
01 Institut for Matematik og Computer Science
https://courses.compute.dtu.dk/02244
I studieplanlæggeren
Overordnede kursusmål
De studerende skal være i stand til at anvende de sikkerhedsformalismer der introduceres, og at kunne anvende relevante værktøjer og teknikker på konkret problemløsning.
Læringsmål
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
  • forklare de grundlæggende begreber introduceret på kurset og forklare betydningen af logik for sikkerhed i anvendelser
  • anvende avancerede værktøjer til modellering og analyse af protokoller
  • designe og motivere eksperimenter til at analysere sikkerhedsegenskaber
  • analysere og fortolke resultaterne fra avancerede værktøjer
  • beskrive ideer og metoder bag automatiske værtøjer for analyse af sikkerhed og anvende dem på små eksempler
  • identificere styrker og svagheder ved forskellige metoder
  • forklare betydningen af en formel beskrivelse af en sikkerhedsegenskab og at anvende den på et konkret eksempel
  • formelt specificere privatheds- og ansvarlighedsmålene for et distribueret system
  • analysere brug af avancerede kryptographiske primitiver (som zero knowledge) i en system
  • afgøre i hvilke situationer man kan tage en kompositionel tilgang til sikkerhed
  • kommunikere resultaterne på en klar og præcis måde i form af en teknisk rapport
Kursusindhold
Kurset omfatter sikkerhedsprotokoller, deres modellering og analyse, samt teknikker og værktøjer der kan bruges til at finde eller undgå brud på fortrolighed eller autentifikation. Kurset omfatter også teknikker for information flow, herunder adgangskontrol og lavniveau-mekanismer der støtter sikkerhed.
Litteraturhenvisninger
Hovedsageligt konference og workshop artikler samt udvalgte bogkapitler.
Sidst opdateret
04. maj, 2023