Security by Design med formelle metoder er et 4-timers kursus.
Det lærer du
Med kurset bliver du i stand til at:
- beskrive principperne for Security by Design, deres motivation, indvirkning og almindelige afvejninger
- identificere de relevante fordele og ulemper ved at bruge forskellige formelle metoder i et softwareprojekt
- udvikle små projekter ved hjælp af formelle specifikationsværktøjer.
Sådan giver kurset værdi til din organisation
Ved at implementere sikkerhedsovervejelser helt fra starten af softwareudviklingen minimerer i risikoen for at der sniger sig sårbarheder og svagheder ind i det endelige produkt. Det sparer jer for både tid og penge da I derved minimerer jeres ressourceforbrug på udbedring af sikkerhedshuller.
Din profil
Kurset henvender sig primært til programmører, software arkitekter, produktledere og teknologi-/innovationsansvarlige med en vis erfaring inden for softwareudvikling.
Security by Design er en softwareudviklingstilgang der integrerer sikkerhedstaktikker og -mønstre fra begyndelsen af softwaredesignet for at bygge sikkerhed ind i systemet fra bunden. Formal Methods (Formelle Metoder) til softwarespecifikation og -verifikation er et væld af matematiske teknikker og værktøjer der kan understøtte design og udvikling af sikre systemer efter security by design-tilgangen.
Kurset illustrerer de grundlæggende principper ved hjælp af værktøjer til formelle softwarespecifikationer på industriniveau, som TLA+ og dens værktøjskasse til modelkontrol og maskintjekkede beviser.
Vi gennemgår følgende emner:
- Principper for Security by Design
- Grundlæggende elementer af formelle metoder til softwarespecifikation og -verifikation
- Eksempler og casestudier hvor der anvendes TLA+ eller lignende værktøjer på industriniveau
Undervisningssproget er engelsk.
Kurset udbydes efter aftale.
Undervisningen bliver varetaget af lektor Marco Peressotti fra Institut for Matematik og Datalogi.
Prisen for kurset er 3.000 kr. ekskl. moms.
Kursusbevis kan udstedes efter kurset.
Har du spørgsmål?
Kontakt studieadministrator Michael Christensen på mail michr@imada.sdu.dk eller telefon 6550 2542.