- 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.
DD2525 Språkbaserad datasäkerhet 7,5 hp
![](https://kursinfostorageprod.blob.core.windows.net/kursinfo-image-container/Picture_by_own_choice_DD2525.jpg)
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.
Om kursomgång
Gäller för kursomgång
VT 2025 langsec25 programstuderande
Målgrupp
Studenter antagna på ett masterprogram under förutsättning att kursen kan ingå i programmet.
Del av program
Civilingenjör och lärare, åk 4, TEDA, Villkorligt valfri
Civilingenjör och lärare, åk 5, TEDA, Villkorligt valfri
Masterprogram, cybersäkerhet, åk 1, Villkorligt valfri
Masterprogram, cybersäkerhet, åk 2, Villkorligt valfri
Masterprogram, datalogi, åk 1, CSST, Villkorligt valfri
Masterprogram, industriell ekonomi, åk 1, PUET, Villkorligt valfri
Masterprogram, kommunikationssystem, åk 1, ITE, Rekommenderad
Masterprogram, kommunikationssystem, åk 1, SMK, Rekommenderad
Masterprogram, kommunikationssystem, åk 1, TRN, Rekommenderad
Perioder
P4 (7,5 hp)Varaktighet
Studietakt
50%
Undervisningsform
Normal Dagtid
Undervisningsspråk
Engelska
Studielokalisering
KTH Campus
Antal platser
Min: 15
Planerade schemamoduler
Kurs-PM
Kurs-PM är inte publiceratSchema
Schema är inte publiceratKursval
Gäller för kursomgång
VT 2025 langsec25 programstuderande
Anmälningskod
60257
Kontakt
Gäller för kursomgång
VT 2025 langsec25 programstuderande
Examinator
Ingen information tillagdKursansvarig
Ingen information tillagdLärare
Ingen information tillagdInnehåll och lärandemål
Kursinnehåll
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.
Kurslitteratur och förberedelser
Särskild behörighet
Slutförd kurs DD2395 Datasäkerhet 6 hp, eller motsvarande kurs.
Gymnasiekursen Engelska B/6.
Rekommenderade förkunskaper
Utrustning
Kurslitteratur
Examination och slutförande
När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.
Betygsskala
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 handläggare av stöd till studenter med 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
Möjlighet till plussning
Examinator
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.
Ytterligare information
Kursrum i Canvas
Ges av
Huvudområde
Utbildningsnivå
Påbyggnad
Övrig information
I denna kurs tillämpas EECS hederskodex, se:
http://www.kth.se/eecs/utbildning/hederskodex