DD2525 Språkbaserad datasäkerhet 7,5 hp

Language-Based Security

Detta ar en fortsättningskurs inom området datasäkerhet. Kursen kommer att fokusera pa avancerade programspråk och säkerhetsmetoder for att säkerställa programvarusäkerhet på ett principiellt sätt. Kursen kombinerar praktisk erfarenhet genom att utforska både attacker och försvar, med avancerad säkerhetsforskning, genom att resonera om säkerhetspolicy och säkerhetsmekanismerna på ett rigoröst sätt.

Visa kursinformation utifrån vald termin och kursomgång:

Kursomgång och genomförande

Ingen kursomgång är vald

Välj termin och kursomgång ovan för att få information från rätt kursplan och kursomgång.

Kursinformation

Innehåll och lärandemål

Kursinnehåll *

- Introduktion till språkbaserad säkerhet.
- Grundläggande principer, modeller och begrepp för datasäkerhet.
- Programvarusäkerhet genom informationsflödesstyrning.
- Webbtillämpningar och databassäkerhet.
- Säkerhet för mobila tillämpningar.
- Heta ämnen inom datasäkerhet.
- Forskningsfronten inom programspråk för säkerhet.

Lärandemål *

Efter godkänd kurs ska studenten kunna:
- förklara och tillämpa programspråksbaserade begrepp för datasäkerhet,
- identifiera styrkor och svagheter i språkbaserade skyddsmekanismer i sådana
domäner som webbapplikationer, mobila applikationer och databassystem,
- tillämpa bästa metoder för säker programmering för att designa och implementera säkrare programvara,
- förklara och tillämpa principer för sådana språkbaserade skyddsmekanismer som åtkomstkontroll, kapacitet, statisk analys och exekveringstidsövervakning,
- förklara skillnader mellan säkerhetspolicyspecifikationer och säkerhetsmekanismer för verkställighet,
- reflektera över säkerhet, funktionalitet, användbarhet och effektivitetsavvägningar vid utformningen av formella säkerhetskrav,
- använda metoder från forskningsfronten inom programspråk och säkerhet
i syfte att:
- som säkerhetsexpert kunna identifiera säkerhetshot och föreslå motåtgärder,
- självständigt utforma och implementera programvarusystem som omfamnar säkerhet från dag ett,
- bidra till samhället genom att öka konsumenternas förtroende för programvaruteknik.

Kursupplägg

Ingen information tillagd

Kurslitteratur och förberedelser

Särskild behörighet *

Slutförd kurs DD2395 Datasäkerhet 6 hp, eller motsvarande kurs.

Rekommenderade förkunskaper

Ingen information tillagd

Utrustning

Ingen information tillagd

Kurslitteratur

Ingen information tillagd

Examination och slutförande

Betygsskala *

A, B, C, D, E, FX, F

Examination *

  • LAB1 - Laborationer, 4,5 hp, betygsskala: A, B, C, D, E, FX, F
  • PRO1 - Projekt, 3,0 hp, betygsskala: A, B, C, D, E, FX, F

Examinator beslutar, baserat på rekommendation från KTH:s samordnare för funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

Examinator får medge annan examinationsform vid omexamination av enstaka studenter.

Möjlighet till komplettering

Ingen information tillagd

Möjlighet till plussning

Ingen information tillagd

Examinator

Musard Balliu

Ytterligare information

Kurswebb

Ytterligare information om kursen kan hittas på kurswebben via länken nedan. Information på kurswebben kommer framöver flyttas till denna sida.

Kurswebb DD2525

Ges av

EECS/Datavetenskap

Huvudområde *

Datalogi och datateknik

Utbildningsnivå *

Avancerad nivå

Påbyggnad

Ingen information tillagd

Etiskt förhållningssätt *

  • Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
  • Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
  • Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.

Övrig information

I denna kurs tillämpas EECS hederskodex, se:
http://www.kth.se/eecs/utbildning/hederskodex