A lightweight approach to specification and analysis of role-based access control extensions

This publication has 13 references indexed in Scilit:

• On the formal definition of separation-of-duty policies and their composition
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The role-based access control system of a European bank
  Published by Association for Computing Machinery (ACM) ,2001
• Practical safety in flexible access control models
  ACM Transactions on Information and System Security, 2001
• The NIST model for role-based access control
  Published by Association for Computing Machinery (ACM) ,2000
• The uses of role hierarchies in access control
  Published by Association for Computing Machinery (ACM) ,1999
• The ARBAC97 model for role-based administration of roles
  ACM Transactions on Information and System Security, 1999
• Control principles and role hierarchies
  Published by Association for Computing Machinery (ACM) ,1998
• Role-based access control models
  Computer, 1996
• Some conundrums concerning separation of duty
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• A Comparison of Commercial and Military Computer Security Policies
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987