• Java卡信息流验证程序是一个方便和容易使用的应用程序建立在Java，允许你打开和分析Java卡盖的文件。

    Java卡信息流验证程序可以执行的字节说明在一个抽象的领域，以便确保含Java卡应用程序的安全。 它是在方便用于检测相关的安全问题的信息流动。

  • जावा कार्ड की जानकारी के प्रवाह के सत्यापनकर्ता है एक आसान और प्रयोग करने में आसान आवेदन में निर्मित जावा की अनुमति देता है कि आप को खोलने के लिए और विश्लेषण जावा कार्ड टोपी फ़ाइलें.

    जावा कार्ड की जानकारी प्रवाह सत्यापनकर्ता पर अमल कर सकते हैं बाईटकोड निर्देश पर एक सार डोमेन बनाने के क्रम में, यकीन है कि युक्त जावा कार्ड का आवेदन कर रहे हैं सुरक्षित. यह काम में आता है का पता लगाने के लिए सुरक्षा के मुद्दों से संबंधित जानकारी के लिए प्रवाह.

  • 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.