Formal Methods for Security

Question 1

Mikä formaaleissa menetelmissä on muodollista, formaalia?

käsittelyn täsmällisyys

sisältyminen tekoälysovelluksiin

äärettömän tila-avaruuden hallinta

soveltuvuus äärimmäisen rajattuun kohteeseen

Question 2

Mihin formaalit menetelmät soveltuvat?

haavoittuvuuksien löytämiseen

hyökkäysten havaitsemiseen

hyökkäysten pysäyttämiseen

forensiikka-analyysiin

Question 3

Kenen ei kannata käyttää formaaleja menetelmiä?

kryptografisen protokollan suunnittelijan

ohjelmiston testaajan

pääsynvalvonnan rakenteita suunnittelevan ylläpitäjän

kryptokaappausta toteuttavan botnetin ylläpitäjän

Posting submission...