Constraint-based security analysis for the Java Card firewall

  title={Constraint-based security analysis for the Java Card firewall},
  author={Marc {\'E}luard and Thomas Jensen},
This paper presents a constraint-based static analysis to prove security (confidentiality) properties of Java Card programs. We define a subset of the Java Card bytecode focussing on aspects of the Java Card firewall, method invocation, field access, variable access, shareable objects and contexts and present an analysis to compute an approximation of the set of possible value stored in each variable. To achieve this task, we introduce a new kind of constraints: quantified conditional… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…