Safety and Liveness for an RBAC/MAC Security Model.

Charles E. Phillips, Steven A. Demurjian, T. C. Ting

Browse the full DBSEC paper archive.