Role-based access control
PERMIS
Mandatory access control
EXPRESS
Variable and attribute
Database management system
First-order logic
Security
Computer security
Access control