A model for specifying multi-granularity integrity policies

This publication has 9 references indexed in Scilit:

• Using mandatory integrity to enforce 'commercial' security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A Comparison of Commercial and Military Computer Security Policies
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Introduction to the theory of nested transactions
  Lecture Notes in Computer Science, 1986
• Replication and fault-tolerance in the ISIS system
  Published by Association for Computing Machinery (ACM) ,1985
• Atomic Remote Procedure Call
  IEEE Transactions on Software Engineering, 1985
• Synchronizing shared abstract types
  ACM Transactions on Computer Systems, 1984
• Guardians and Actions: Linguistic Support for Robust, Distributed Programs
  ACM Transactions on Programming Languages and Systems, 1983
• Non-Discretionery Controls for Commercial Applications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• Secure Computer System: Unified Exposition and Multics Interpretation
  Published by Defense Technical Information Center (DTIC) ,1976