Java卡信息流验证（JCSI）1.2_Java Card Information Flow Verifier (JCSI) 1.2下载地址

分析和查看Java卡CAP文件

Verifier是一个方便和易于使用的Java内置的应用程序，允许你打开和分析Java卡CAP文件。

Java卡信息流验证可以执行字节码指令在一个抽象的领域，以确保包含Java卡应用程序是安全的神器出山:www.shenqi73.com。它有方便的检测涉及到信息流的安全问题。