Skip main navigation
PLUSSA
v1.11.4
COMP.SEC.100 COMP.SEC.100 Kyberturvallisuus I / Cyber Security I
Begin by enrolling in a course.
Toggle navigation
Log in
Skip course navigation
Language
Change language
suomi
suomi
Course
COMP.SEC.100
Course materials
Your points
Lyhytvideot
Mitä tarkoittaa riski?
Inhimilliset tekijät
Käyttäjän manipulointi
Haittaohjelmat ja hyökkäystekniikat
Diffie-Hellman-Merklen avaintenvaihto
Verkon tietoturvatyökalut
Site
Home
Begin by enrolling in a course.
Log in
Unfortunately you are not permitted to see this content.
Skip course navigation
Language
Change language
suomi
suomi
Course
COMP.SEC.100
Course materials
Your points
Lyhytvideot
Mitä tarkoittaa riski?
Inhimilliset tekijät
Käyttäjän manipulointi
Haittaohjelmat ja hyökkäystekniikat
Diffie-Hellman-Merklen avaintenvaihto
Verkon tietoturvatyökalut
«
14.1 Intro to AI and Formal Methods in cybersecurity
Course materials
14.3 AI and Cybersecurity
»
COMP.SEC.100
14. Formal Methods
14.2 Formal Methods for Security
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...
«
14.1 Intro to AI and Formal Methods in cybersecurity
Course materials
14.3 AI and Cybersecurity
»
Loading...
Loading...
×
None
×
No matches