The following publications are possibly variants of this publication:
- Security Analysis of Temporal-RBAC Using Timed AutomataSamrat Mondal, Shamik Sural. IEEEias 2008: 37-40 [doi]
- Security analysis of GTRBAC and its variants using model checkingSamrat Mondal, Shamik Sural, Vijayalakshmi Atluri. compsec, 30(2-3):128-147, 2011. [doi]
- Security Analysis of Temporal-RBAC Using Timed AutomataS Mondal, S Sural. Information Assurance and Security, 2008. ISIAS '08. Fourth International Conference on, , Aug 2008. [doi]
- Security Analysis of Temporal-RBAC Using Timed AutomataS Mondal, S Sural. Information Assurance and Security, 2008. ISIAS '08. Fourth International Conference on, , Aug 2008. [doi]