%0 Conference Paper
%B Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009 12th European Workshop on Dependable Computing, EWDC 2009
%D 2009
%T A tool for checking secure interaction in Java Cards
%A Marco Avvenuti
%A Cinzia Bernardeschi
%A Nicoletta De Francesco
%A Paolo Masci
%E Hélène Waeselynck
%C Toulouse, France
%P 8 pages
%X <p>We present an approach based on a multilevel security policy and the theory of abstract interpretation for checking secure interaction between applications in Java Cards. The security policy is defined by the user, which assigns security levels to Java Card applications. Actual values are abstracted into security levels, and an abstract interpreter executes the bytecode of applications in the abstract domain. We show JCSI, a tool that implements the presented approach. JCSI can be used to check the binary code of Java Card. </p>
%8 May