バイトコードオフカードベリファイア

Question

オフカードバイトコードベリファイアを使用してJava Cardプログラム（キャップ​​ファイル）を検証する必要があります。 私はcapファイルの情報を手動で変更しました。新しいcapファイルがwellタイプであるかどうかを確認したいのですが。

私はcom.sun.javacard.scriptgen.CAP.verifyCAP（）メソッドを使用しようとしています。有効な無効な上限ファイルを送信しますが、結果は常に0になります。

Answer 1

解決方法を投稿しません。その日はようやく到着しました;）

JavaCard SDKをダウンロードしてください。これには検証者のコンパイル済みバージョンが含まれています。その例はjava_card_kit-2_2_1になります。

マイファイル：

./ 
./java_card_kit-2_2_1/ 
./java2CAP.sh 
./ValidApplet/ 
./ValidApplet/ValidApp.java 
./verifyCAP.sh 

java2CAP.sh：

#!/bin/bash 
export JC_HOME=./java_card_kit-2_2_1 
export CLASSPATH=$JC_HOME/lib/apduio.jar:$JC_HOME/lib/apdutool.jar:$JC_HOME/lib/jcwde.jar:$JC_HOME/lib/converter.jar:$JC_HOME/lib/scriptgen.jar:$JC_HOME/lib/offcardverifier.jar:$JC_HOME/lib/api.jar:$JC_HOME/lib/capdump.jar:$JC_HOME/lib/:$JC_HOME/samples/classes:$CLASSPATH 
PACKAGE=ValidApplet 
CLASS=ValidApp 
APPLET=$CLASS.java 
PACKAGE_AID=0x46:0x56:0x55:0x4c:0x4e:0x54:0x45:0x53:0x54:0x53 
APPLET_AID=0x46:0x56:0x55:0x4c:0x4e:0x54:0x45:0x53:0x54:0x53:0x41:0x70:0x70 
javac -g -source 1.3 -target 1.1 $PACKAGE/$APPLET 
java com.sun.javacard.converter.Converter -nobanner -out CAP -exportpath $JC_HOME/api_export_files -applet $APPLET_AID $CLASS $PACKAGE $PACKAGE_AID 1.0 -i 

verifyCAP.sh：

#!/bin/bash 
export JC_HOME=./java_card_kit-2_2_1 
export CLASSPATH=$JC_HOME/lib/apduio.jar:$JC_HOME/lib/apdutool.jar:$JC_HOME/lib/jcwde.jar:$JC_HOME/lib/converter.jar:$JC_HOME/lib/scriptgen.jar:$JC_HOME/lib/offcardverifier.jar:$JC_HOME/lib/api.jar:$JC_HOME/lib/capdump.jar:$JC_HOME/lib/:$JC_HOME/samples/classes:$CLASSPATH 

export CAPP_PATH=./ValidApplet/javacard 
export CAPP_NAME=ValidApplet.cap 

java -classpath $JC_HOME/lib/offcardverifier.jar com.sun.javacard.offcardverifier.Verifier $JC_HOME/api_export_files/javacard/framework/javacard/framework.exp $JC_HOME/api_export_files/java/lang/javacard/lang.exp $JC_HOME/api_export_files/javacard/security/javacard/security.exp $CAPP_PATH/$CAPP_NAME 

./ValidApplet/ValidApp.java：

package ValidApplet; 

import javacard.framework.Applet; 
import javacard.framework.APDU; 
import javacard.framework.ISO7816; 
import javacard.framework.ISOException; 

public class ValidApp extends Applet //implements PIN 
{ 
    final static byte TEST_CLA = (byte)0x77; 

    public static class TestClassStatic {}; 

    protected ValidApp() 
    { 
     register(); 
    } 

    public static void install(byte[] bArray, short bOffset, byte bLength) 
    { 
     new ValidApp(); 
    } 

    public void process(APDU apdu) 
    { 
     byte buffer[] = apdu.getBuffer(); 

     try { 
      if (buffer[ISO7816.OFFSET_CLA] == TEST_CLA) { 
       test((byte)4, (short)2); 
      } else { 
       ISOException.throwIt(ISO7816.SW_CLA_NOT_SUPPORTED); 
      } 
     } catch (ISOException e) { 

     } 
    } 
}