Toward a mathematical foundation for information flow security

This publication has 12 references indexed in Scilit:

• Noninterference and the composability of security properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Hookup security for synchronous machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Information sharing in secure systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Skip lists: a probabilistic alternative to balanced trees
  Communications of the ACM, 1990
• Security models and information flow
  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
• 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
• Verification of multiprocess probabilistic protocols
  Distributed Computing, 1986
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982