Java Card Information Flow Verifier (JCSI)Analyze and view Java Card CAP files | |
Download |
Java Card Information Flow Verifier (JCSI) Ranking & Summary
Advertisement
Java Card Information Flow Verifier (JCSI) Tags
Java Card Information Flow Verifier (JCSI) Description
Java Card Information Flow Verifier is a handy and easy to use application built in Java that allows you to open and analyze Java Card CAP files. Java Card Information Flow Verifier can execute bytecode instructions over an abstract domain, in order to make sure that the containing Java Card applications are secure. It comes in handy for detecting security issues related to information flow.
Java Card Information Flow Verifier (JCSI) Related Software