

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.







































