(Q115061581)
Statements
Security analysis of GTRBAC and its variants using model checking (English)
Samrat Mondal
Shamik Sural
Vijayalakshmi Atluri
March 2011
30
2-3
128-147
scientific article published in 2011
No description defined