| •owl:Thing |
| •Asset |
| •Countermeasure |
| •LoginSystem |
| •Countermeasure |
| •LoginSystem |
| verifiesCredential SOME Credential |
| protects ONLY (_Authentication AND _Human AND _Prevention) |
| Countermeasure |
| protects SOME (_Authentication AND _Human AND _Prevention) |
| supports ONLY AccessControl |
Class(LoginSystem partial restriction(verifiesCredential someValuesFrom(Credential))
restriction(protects allValuesFrom(intersectionOf(_Authentication
_Human
_Prevention)))
Countermeasure
restriction(protects someValuesFrom(intersectionOf(_Authentication
_Human
_Prevention)))
restriction(supports allValuesFrom(AccessControl)))