02244 Logik for sikkerhed
2023/2024
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