Quotient states and probabilistic channels

This publication has 10 references indexed in Scilit:

• Finite-state noiseless covert channels
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Controlled signalling systems and covert channels
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Noninterference and the composability of security properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Security models and information flow
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Probabilistic interference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Information flow in nondeterministic systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• 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
• A Mathematical Theory of Communication
  Bell System Technical Journal, 1948