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

Samrat Mondal, Shamik Sural

Browse the full ICISS paper archive.