Java Card Information Flow Verifier (JCSI)

Analyze and view Java Card CAP files
Download

Java Card Information Flow Verifier (JCSI) Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Publisher Name:
  • Paolo Masci
  • Operating Systems:
  • Windows All
  • File Size:
  • 2.8 MB

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

About SoftwareSea