Kursplan för Språkbaserad datasäkerhet

• Kandidatexamen inom datavetenskap eller motsvarande.
• 15 hp programmeringskurser krävs.
• 7,5 hp inom IT-säkerhet eller motsvarande krävs.

De säkerhetsmekanismer som kan anses vara standard idag är inte tillräckliga för att skydda mot alla typer av attacker. Flertalet attacker sker på applikationsnivå genom att utnyttja fel och misstag i applikationen. Detta gör att attacken till viss del kan kringgå existerande skydd eftersom den körs med den attackerade applikationens rättigheter. Ett sätt att säkerställa att program är säkra är att använda programspråksmetoder för att analysera programmets källkod - en del av språkbaserad säkerhet. Språkbaserad säkerhet för med sig möjligheten att använda existerande metoder inom programanalys för att specificera och säkerställa säkerhetskrav.

• tillämpa praktisk kunskap om säkerhet för moderna programmeringsspråk
• påvisa djup kunskap om principerna bakom attacker på applikationsnivå (exempelvis om kapplöpningsproblem, buffertöverskridningsattacker, webbapplikationsattacker, hemliga kanaler och skadlig kod)
• definiera språkbaserade skyddsmekanismer (exempelvis statisk och dynamisk kodanalys, programövervakning och användning av sandlådor)

• identifiera säkerhetshot på applikations- och språknivå
• specificera och argumentera för säkerhetspolicyer på applikations- och språknivå,
• utforma och utvärdera säkerhet, tydlighet, användbarhet och effektivitet hos lösningar implementera sådana lösningar i uttrycksfulla programmeringsspråk

• påvisa förmåga att bedöma vilka säkerhetsmekanismer som är lämpliga för ett givet scenario