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.
Dette kursus giver dig en introduktion på højt niveau til Security by Design ved hjælp af formelle metoder, herunder casestudier og erfaringsrapporter fra industrien. De grundlæggende principper illustreres ved hjælp af værktøjer til formelle softwarespecifikationer på industriniveau, som TLA+ og dens værktøjskasse til modelkontrol og maskintjekkede beviser.
Nogen spørgsmål?
Hvis du vil vide mere om kurset, så ring eller skriv til os.
Læs hvordan du kontakter os