Pseudocode language used in the formulation of access-control policies.