Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri. Security analysis of GTRBAC and its variants using model checking. Computers & Security, 30(2-3):128-147, 2011. [doi]
@article{MondalSA11,
title = {Security analysis of GTRBAC and its variants using model checking},
author = {Samrat Mondal and Shamik Sural and Vijayalakshmi Atluri},
year = {2011},
doi = {10.1016/j.cose.2010.09.002},
url = {http://dx.doi.org/10.1016/j.cose.2010.09.002},
tags = {model checking, meta-model, analysis, security, Meta-Environment},
researchr = {https://researchr.org/publication/MondalSA11},
cites = {0},
citedby = {0},
journal = {Computers & Security},
volume = {30},
number = {2-3},
pages = {128-147},
}