ACM Transactions on Information and System Security · 2001 · 752 citations · 20 references
ComputingComputer ScienceComputer SystemsAccess ManagementFormal MethodsSecurity ArchitectureAccess ControlAuthorizationModel CheckingPrivilege ManagementSecurity ControlsTemporal LogicAuthorization LanguagesControl ActionsModel Specification LanguageRole-based AuthorizationTriggers
RBAC models are increasingly used for access control, yet roles can vary over time and exhibit temporal dependencies. The authors introduce Temporal‑RBAC (TRBAC) to address these dynamic temporal aspects of RBAC. TRBAC extends RBAC by allowing periodic role enable/disable actions, user‑specific exceptions, role triggers with immediate or delayed execution, conflict‑resolution priorities, a formal specification language, a polynomial‑time safeness check, and a DBMS‑based implementation. The authors provide a formal semantics and a polynomial‑time safeness check that rejects ambiguous or inconsistent TRBAC specifications.
Role-based access control (RBAC) models are receiving increasing attention as a generalized approach to access control. Roles may be available to users at certain time periods, and unavailable at others. Moreover, there can be temporal dependencies among roles. To tackle such dynamic aspects, we introduce Temporal-RBAC (TRBAC), an extension of the RBAC model. TRBAC supports periodic role enabling and disabling---possibly with individual exceptions for particular users---and temporal dependencies among such actions, expressed by means of role triggers. Role trigger actions may be either immediately executed, or deferred by an explicitly specified amount of time. Enabling and disabling actions may be given a priority, which is used to solve conflicting actions. A formal semantics for the specification language is provided, and a polynomial safeness check is introduced to reject ambiguous or inconsistent specifications. Finally, a system implementing TRBAC on top of a conventional DBMS is presented.
20
V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations
Role-based access control models
Ravi Sandhu, Edward J. Coyne, H.L. Feinstein et al. · Computer · 1996 · 5.8K citations
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations
1990 · 3.1K citations