| A countermeasure implements a theoretical security model, e.g. RBAC. |
| owl:ObjectProperty |
ObjectProperty(sec:implementsModel annotation(rdfs:comment "A countermeasure implements a theoretical security model, e.g. RBAC."^^<http://www.w3.org/2001/XMLSchema#string>)
inverseOf(sec:modelImplementedBy)
domain(sec:Countermeasure)
range(sec:Model))