A Category-Based Model for ABAC
Term rewriting and all that