Analyzing consistency of security policies

This publication has 8 references indexed in Scilit:

• Specifying a security policy: a case study
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Supporting multiple access control policies in database systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Combining components and policies
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Extending the schematic protection model. I. Conditional tickets and authentication
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A decision support system for bureaucratic policy administration: An abductive logic programming approach
  Decision Support Systems, 1996
• Solving normative conflicts by merging roles
  Published by Association for Computing Machinery (ACM) ,1995
• A calculus for access control in distributed systems
  ACM Transactions on Programming Languages and Systems, 1993
• Modal Logic
  Published by Cambridge University Press (CUP) ,1980