S Mondal, S Sural. Security Analysis of Temporal-RBAC Using Timed Automata. Information Assurance and Security, 2008. ISIAS '08. Fourth International Conference on, , Aug 2008. [doi]
Role Based Access Control (RBAC) is arguably the most common access control mechanism today due to its applicability at various levels of authorization in a system. Time varying nature of access control in RBAC administered systems is often implement…..