Advertisement

Java Card Information Flow Verifier

JCSI is a prototype tool for the analysis and visualization of Java Card CAP files. The analysis method implemented in the tool is based on the theory of abstract interpretation and a multi-level secu...

Download

Advertisement