The product has a behavior that performs a manipulation on a resource. The
intended policy requires the resource to have a given property, P.
The product implements a protection scheme in which the behavior checks to make
sure the resource has the property P before it attempts to manipulate the