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