Adjoining Declassification and Attack Models by Abstract Interpretation

This publication has 23 references indexed in Scilit:

• Proving Abstract Non-interference
  Published by Springer Nature ,2004
• Abstract non-interference: parameterizing non-interference by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,2004
• Static Analysis for Secrecy and Non-interference in Networks of Processes
  Published by Springer Nature ,2001
• Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking
  Published by Springer Nature ,2001
• Refining and compressing abstract domains
  Published by Springer Nature ,1997
• A unifying view of abstract domain design
  ACM Computing Surveys, 1996
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• Information transmission in computational systems
  ACM SIGOPS Operating Systems Review, 1977
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• A lattice model of secure information flow
  Communications of the ACM, 1976