Assertion: smack | /r/HasProperty | mechanism
Facets:
value: for specifying rules
type: PURPOSE
Source sentences:
text: To accommodate such schemes Smack includes a mechanism for specifying rules allowing access between labels.