Ohjelmistojen turvallisuus ja tietoturva
Kurssi käsittelee ohjelma-analyysin keskeisiä tekniikoita, jotka perustuvat tyyppeihin ja logiikkaan. Niiden avulla voidaan tunnistaa ei-toivottua toimintaa, todentaa tällaisen toiminnan puuttuminen sekä tutustua näitä tekniikoita toteuttaviin työkaluihin.
Kurssin tarjoaa
Kouluttaja
Cyrille Valentin Artho
Associate professor
Kieli
English
Oppimistavoitteet
- Selittää järjestelmien turvallisuuteen ja tietoturvaan liittyviä näkökohtia.
- Rakentaa järjestelmämalleja.
- Määritellä ja analysoida turvallisuus- ja tietoturvaominaisuuksia.
- Soveltaa analyysityökaluja ohjelmistojärjestelmiin.
- Arvioida ja vertailla erilaisia lähestymistapoja ohjelmistojärjestelmien verifiointiin ja validointiin.
Esitiedot
- Hyvät tiedot ja taidot ohjelmoinnista, ohjelmointikielistä ja ohjelmien semantiikasta. Ensimmäisen kertaluvun logiikan ja äärellisten automaattien tuntemus.
Käsitellyt aiheet
FundamentalsOffensive SecuritySecure Development
Moduulit
Etkö tiedä mistä aloittaa?
Tutustu siihen, miten Cycerone-portaali toimii, miten kurssit ja oppimispolut on järjestetty ja miten löydät tarpeisiisi parhaiten sopivat koulutusmahdollisuudet.