Login / Signup
JCSI: A tool for checking secure information flow in Java Card applications.
Marco Avvenuti
Cinzia Bernardeschi
Nicoletta De Francesco
Paolo Masci
Published in:
J. Syst. Softw. (2012)
Keyphrases
</>
information flow
java card
smart card
information security
security model
fault injection
method invocation
social networks
communication networks
countermeasures
byte code
security requirements
information flows
static analysis
virtual machine
multi threaded