Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri. Towards formal security analysis of GTRBAC using timed automata. In Barbara Carminati, James Joshi, editors, SACMAT 2009, 14th ACM Symposium on Access Control Models and Technologies, Stresa, Italy, June 3-5, 2009, Proceedings. pages 33-42, ACM, 2009. [doi]
Abstract is missing.