nad Vijayalakshmi Atluri, Samrat Mondal, Shamik Sural Security analysis of GTRBAC and its variants using model checking
Computers & Security Elsevier Vol. 30, no. 2-3 ISSN: 0167-4048 March–May 2011 pp. 128-147 10.1016/j.cose.2010.09.002
Bandyopadhyay Ayan, Maiti Samaresh, Mitra Mandar, Pal Dipasree, Pal Sukomal The FIRE 2008 Evaluation Exercise
ACM Transactions on Asian Language Information Processing (TALIP) vol. 09, no. 03, Sep. 2010.