Termination-Insensitive Noninterference Leaks More Than Just a Bit

This publication has 16 references indexed in Scilit:

• Adversaries and Information Leaks (Tutorial)
  Published by Springer Nature ,2008
• Termination-Insensitive Noninterference Leaks More Than Just a Bit
  Published by Springer Nature ,2008
• Fast probabilistic simulation, nontermination, and secure information flow
  Published by Association for Computing Machinery (ACM) ,2007
• Automata-Based Confidentiality Monitoring
  Published by Springer Nature ,2007
• Cryptographically-Masked Flows
  Published by Springer Nature ,2006
• Enforcing security and safety models with an information flow analysis tool
  ACM SIGAda Ada Letters, 2004
• A semantic approach to secure information flow
  Science of Computer Programming, 2000
• A Per Model of Secure Information Flow in Sequential Programs
  Published by Springer Nature ,1999
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• Memoryless subsystems
  The Computer Journal, 1974