Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode

This publication has 16 references indexed in Scilit:

• Checking security of Java bytecode by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,2002
• Checking Secure Interactions of Smart Card Applets
  Published by Springer Nature ,2000
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• Data flow analysis is model checking of abstract interpretations
  Published by Association for Computing Machinery (ACM) ,1998
• What's in a region?
  ACM Letters on Programming Languages and Systems, 1993
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• 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
• A note on the confinement problem
  Communications of the ACM, 1973