| protects SOME _Integrity |
| Countermeasure |
| threatens SOME (_Confidentiality AND _Host) |
| protects SOME _Host |
| protects ONLY (_Host AND (_Detection OR _Correction) AND (_Correctness OR _Integrity)) |
| protects SOME _Correctness |
| SystemMapping |
| protects SOME _Detection |
| dc:description | A vulnerability scanner is a type of computer program specifically designed to search a given target (piece of software, computer, network, etc.) for weaknesses. The scanner systematically engages the target in an attempt to assess where the target is vulnerable to "attack". The program can be used either prophylactically (to find holes and plug them before they are exploited) or maliciously (to find holes and exploit them). (Wikipedia) |
Class(VulnerabilityScanner partial restriction(protects someValuesFrom(_Integrity))
Countermeasure
restriction(threatens someValuesFrom(intersectionOf(_Confidentiality
_Host)))
restriction(protects someValuesFrom(_Host))
restriction(protects allValuesFrom(intersectionOf(_Host
unionOf(_Detection
_Correction)
unionOf(_Correctness
_Integrity))))
restriction(protects someValuesFrom(_Correctness))
SystemMapping
restriction(protects someValuesFrom(_Detection)))