Praktische Anwendung des Sun Java Card Development Kit

Transkript

1 Praktische Anwendung des Sun Java Card Development Kit Vortrag Oberseminar Java-Smartcards Michael Weiser

2 . Einführung

3 Gliederung Java Card Development Kit [JCDK] Komponenten Verwendung Beispiel: G&D 1.1 [SC] Wiederholung Besonderheiten der Ansteuerung Praxis: Java Card Development Kit und G&D 1.1 unter Linux und Windows

4 mit CTAPI und OCF

5 . JCDK

6 Einführung Java Card Development Kit = Sammlung von Werkzeugen zum Entwickeln von Java Card applets Komponenten: Konvertieren von class- in converted applet (CAP) und Java Card assembly (JCA)-Dateien (converter) Vorbereiten von applets zur Installation (scriptgen) Senden und Empfangen von APDUs (apdutool) Überprüfen von package-konsistenz und Binärkompatibilität (verify{cap,exp,rev}) Kartenemulation (jcwde, cref) Erzeugen von ASCII-Repräsentationen von CAP-Dateien (capdump)

7

8 Pro/Kontra Vor-/Nachteile je nach Betrachtungsweise: kommandozeilenbasiert kein Zuschnitt auf spezielle Hardware - immer gleiche Verwendung / Features evtl. nicht nutzbar Vorteile: Erweiter- und Automatisierbarkeit (Test, Serien) wird stetig weiterentwickelt weitestgehend plattformunabhängig, da Java Nachteile:

9 teilweise kryptische Bedienung nur für Windows und Solaris unterstützt

10 Installation betrachtet: Version 2.2 Voraussetzungen: J2SDK >= 1.3 OCF >= 1.2 (für RMI-Beispiel) Umgebungsvariablen: JC_HOME=<Installationspfad> PATH=$JC_HOME/bin:$PATH JAVA_HOME=<J2SDK-Installationspfad> CLASS_PATH=$JC_HOME/lib/api.jar

11

12 Workflow javac compiliert in normale class-dateien converter erzeugt JCA- oder CAP- aus class-dateien JCA mittels capgen in CAP konvertierbar EXP zur Abhängigkeitsprüfung CAP werden von scriptgen in APDU script konvertiert apdutool sendet diese an Java Card Runtime Environment (JCRE)

13 Beispiel package hw; import javacard.framework.*; public class hw extends Applet { protected hw() { register(); } public static void install(byte[] barray, short boffset, byte blength) { new hw(); } public void process(apdu apdu) { byte[] hw = {'H', 'e', 'l', 'l', 'o', ' ', 'W', 'o', 'r', 'l', 'd', '!'}; apdu.setoutgoing(); apdu.setoutgoinglength((short)hw.length); } } apdu.sendbyteslong(hw, (short)0, (short)hw.length);

14

15 javac Aufruf: javac <java source> Beispiel: # javac hw/hw.java api.jar muß in CLASSPATH sein

16 converter: CAP Aufruf: converter [-out [CAP] [JCA] [EXP]] -applet <applet AID> \ -exportpath <API export path> <class> <AID> <version> Beispiel: # converter -applet 0xF0:0x0:0x0:0x0:0x0:0x0:0x1 hw.hw \ \ -exportpath $JC_HOME/api_export_files \ \ hw 0xF0:0x0:0x0:0x0:0x0:0x Java Card 2.2 Class File Converter (version 1.3) Copyright 2002 Sun Microsystems, Inc. All rights reserved. Use is subject to license terms.

17 conversion completed with 0 errors and 0 warnings.

18 converter: AIDs AID = Application ID eindeutige Identifikation der Anwendung auf der Karte Vergabe durch registration authority 5-16 Bytes 5 Byte RID (Registered application provider IDentifier) 4 Bit Kategorie, 12 Bit Land, 24 Bit Organisation Kategorie: 0-9 = ISO/IEC 7812, A = international, D = national, F = unregistriert Beispiel: 0xD276xxxxxx = national registriert, Deutschland 11 Byte PIX (Proprietary Identifier extension)

19

20 converter: JCA Beispiel: # converter -out JCA \ \ -applet 0xF0:0x0:0x0:0x0:0x0:0x0:0x1 hw.hw \ \ -exportpath $JC_HOME/api_export_files \ \ hw 0xF0:0x0:0x0:0x0:0x0:0x Ausgabe:....method public process(ljavacard/framework/apdu;)v 7 {.stack 4;.locals 1;.descriptor Ljavacard/framework/APDU; 0.10; L0: bspush 12; newarray 11; dup; sconst_0; bspush 72; bastore; dup;

21 ...

22 capgen Aufruf: capgen [-o <output file>] <jca> Beispiel: # capgen -o hw/javacard/hw.cap hw/javacard/hw.jca Java Card 2.2 CAP File Builder (version 0.55) Copyright 2002 Sun Microsystems, Inc. All rights reserved. Use is subject to license terms. default output ist a.jar

23 capdump Aufruf: capdump <cap> Beispiel: # capdump hw/javacard/hw.cap Copyright 2002 Sun Microsystems, Inc. All rights reserved. Use is subject to license terms. hw/javacard/header.cap : de ca ff ed f hw/javacard/directory.cap : f f 00 0b 00 0b 00 1e 00 0c a 00 0b e hw/javacard/applet.cap : b f c

24 ...

25 verifycap Aufruf: verifycap <package export files> <cap> Beispiel: # verifycap hw/javacard/hw.exp \ \ $JC_HOME/api_export_files/javacard/framework/javacard/framework.exp \ hw/javacard/hw.cap Java Card 2.2 Off-Card CAP File Verifier (version 2.21) Copyright 2002 Sun Microsystems, Inc. All rights reserved. Use is subject to license terms. Verifying CAP file hw/javacard/hw.cap Error: No export file provided for package java/lang

26 Verification completed with 0 warnings and 1 error.

27 verifyexp Aufruf: verifycap <package export files> <cap> Beispiel: # verifyexp hw/javacard/hw.exp Java Card 2.2 Off-Card Export File Verifier (version 2.21) Copyright 2002 Sun Microsystems, Inc. All rights reserved. Use is subject to license terms. Verifying export file hw/javacard/hw.exp Verification completed with 0 warnings and 0 errors.

28 scriptgen Aufruf: scriptgen [-o <output file>] <cap> Beispiel: # scriptgen -o hw/javacard/hw.scr hw/javacard/hw.cap Java Card 2.2 APDU Script File Builder (version 0.11) Copyright 2002 Sun Microsystems, Inc. All rights reserved. APDU script file for CAP file download generated. default output ist stdout: 0x80 0xB0 0x00 0x00 0x00 0x7F; // hw/javacard/header.cap 0x80 0xB2 0x01 0x00 0x00 0x7F;

29 0x80 0xB4 0x01 0x00 0x13 0x01 0x00 0x10 0xDE 0xCA \ 0xFF 0xED 0x01 0x02 0x04 0x00 0x01 0x06 0xF0 0x00 \ 0x00 0x00 0x00 0x00 0x7F;...

30 jcwde, cref

31 apdutool

32 .

33 Wiederholung

34 . Praxis

35 Patch Linux! Einführung

36 . Zusammenfassung

37 Überblick

38 Fragen?

39 Referenzen Resourcen zu Java Card Development Kit, und OCF Java Card Development Kit, G&D und OCF [JCDK] Sun Microsystems, Inc.. Java Card(TM) Technology. Spezifikationen und Java Card Development Kit-Download. 30. Oktober (besucht ). [SC] Giesecke & Devrient. - The Java Card (besucht ). [OCF] OpenCard. Welcome to OpenCard. (besucht ). [AID] Technical Specification Group Terminals (3G TS). Meeting #6: Numbering system for telecommunication IC card applications Dezember (besucht ).

40 JavaCards unter Linux Juha Yrjölä, Timo Teräs, Antti Tapaninen, and Olaf Kirch. OpenSC. Smart- Card library and Applications. (besucht ). Matthias Brüstle. SCEZ - Smart Card Library. 15. September (besucht ). Movement for the Use of SmartCards in a Linux Environment (M.U.S.C.L.E). LinuxNet.com - MUSCLE - Linux SmartCard Development. (besucht ).