Attack Requirements
concept Propagate
requires
Remote_Execution: RE
…
where
… …
end.
concept Linux5.1-IMAP_Vulnerable
requires
OS_Linux-5.1: OSL51
Not_IMAP_Patched: NIMAPP
…
report
Remote_Execution
(host <- OSL51.host)
…
end.
concept OS_Linux-5.1_ID
requires
OS_Scan: OSS
where
OSS.OS is Linux_5.1
report
OS_Linux-5.1
(host_set <- OSL51.host)
end.
Previous slide
Next slide
Back to first slide
View graphic version