A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper).

Samrat Mondal Shamik Sural A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper). 140-147 2008 ICISS http://dx.doi.org/10.1007/978-3-540-89862-7_11 conf/iciss/2008 db/conf/iciss/iciss2008.html#MondalS08