Specifying a security policy: a case study

This publication has 12 references indexed in Scilit:

• A logical analysis of authorized and prohibited information flows
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Solving normative conflicts by merging roles
  Published by Association for Computing Machinery (ACM) ,1995
• Actions and Events in Interval Temporal Logic
  Journal of Logic and Computation, 1994
• Policy conflict analysis in distributed system management
  Journal of Organizational Computing, 1994
• How responsibility modelling leads to security requirements
  Published by Association for Computing Machinery (ACM) ,1993
• Policy hierarchies for distributed systems management
  IEEE Journal on Selected Areas in Communications, 1993
• A Logical View of Secure Dependencies*
  Journal of Computer Security, 1992
• Unwinding and Inference Control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Action Theory and Social Science
  Published by Springer Nature ,1977
• Law and logic
  Theoria, 1972