Security analysis of GTRBAC and its variants using model checking

  title={Security analysis of GTRBAC and its variants using model checking},
  author={Samrat Mondal and Shamik Sural and Vijayalakshmi Atluri},
  journal={Computers & Security},
Security analysis is a formal verification technique to ascertain certain desirable guarantees on the access control policy specification. Given a set of access control policies, a general safety requirement in such a system is to determinewhether a desirable property is satisfied inall the reachable states. Suchananalysis calls for theuseof formal verification techniques. While formal analysis on traditional RoleBasedAccessControl (RBAC)hasbeendone to some extent, recent extensions to RBAC… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 22 references

Security analysis of RBAC with temporal constraints e a model checking approach

  • S Mondal, S Sural
  • Journal of Information Assurance and Security…
  • 2009
1 Excerpt