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
Sustainable livelihood security index in a developing country: a tool for development planning,”
Ecological Indicators, vol. 10, no. 2, pp. 442-451, Mar. 2010.