Dealing with multi-policy security in large open distributed systems

This publication has 15 references indexed in Scilit:

• Security benefits from software architecture
  Published by Springer Nature ,1997
• A general theory of composition for a class of "possibilistic" properties
  IEEE Transactions on Software Engineering, 1996
• Computational issues in secure interoperation
  IEEE Transactions on Software Engineering, 1996
• A Logical View of Secure Dependencies*
  Journal of Computer Security, 1992
• Specifying discretionary access control policy for distributed systems
  Computer Communications, 1990
• Composing specifications
  Published by Springer Nature ,1990
• Security models and information flow
  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
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• Formal Models for Computer Security
  ACM Computing Surveys, 1981