Decidability of Safety in Graph-Based Models for Access Control

This publication has 12 references indexed in Scilit:

• On the specification and evolution of access control policies
  Published by Association for Computing Machinery (ACM) ,2001
• Practical safety in flexible access control models
  ACM Transactions on Information and System Security, 2001
• Foundations for a Graph-Based Approach to the Specification of Access Control Policies
  Published by Springer Nature ,2001
• Role-based authorization constraints specification
  ACM Transactions on Information and System Security, 2000
• A Formal Model for Role-Based Access Control Using Graph Transformation
  Published by Springer Nature ,2000
• Handbook of Graph Grammars and Computing by Graph Transformation
  Published by World Scientific Pub Co Pte Ltd ,1999
• The role graph model and conflict of interest
  ACM Transactions on Information and System Security, 1999
• Logic programming as hypergraph Rewriting
  Published by Springer Nature ,1991
• On the synthesis and analysis of protection systems
  ACM SIGOPS Operating Systems Review, 1977
• Protection in operating systems
  Communications of the ACM, 1976