Protection against covert storage and timing channels

This publication has 10 references indexed in Scilit:

• Data dependency graphs for Ada programs
  IEEE Transactions on Software Engineering, 1990
• A Formal Method for the Identification of Covert Storage Channels in Source Code
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Shared resource matrix methodology
  ACM Transactions on Computer Systems, 1983
• Dependence graphs and compiler optimizations
  Published by Association for Computing Machinery (ACM) ,1981
• An Axiomatic Approach to Information Flow in Programs
  ACM Transactions on Programming Languages and Systems, 1980
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• Graph grammars and global program data flow analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• Security Kernel validation in practice
  Communications of the ACM, 1976
• Secure Computer System: Unified Exposition and Multics Interpretation
  Published by Defense Technical Information Center (DTIC) ,1976
• A note on the confinement problem
  Communications of the ACM, 1973