Information sharing in secure systems

This publication has 9 references indexed in Scilit:

• Noninterference and the composability of security properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Quotient states and probabilistic channels
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Probabilistic interference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Specifications for Multi-Level Security and a Hook-Up
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Covert Channel Capacity
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Unwinding and Inference Control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• Synchronization with eventcounts and sequencers
  Communications of the ACM, 1979
• A note on the confinement problem
  Communications of the ACM, 1973