Programmierung von Smart Cards mit Hilfe von Java

Transkript

1 Java Card Programmierung von Smart Cards mit Hilfe von Java Übersicht 1. Einführung Smart Cards 2. Java Card Spezifikationen 3. Java Card Development Kit 4. Java Card in der Praxis und Fazit

2 1. Einführung Smart Cards Smart Cards Mikroprozessorkarten Vorteile gegenüber Magnetstreifenkarten Verbreitung der Smart Cards Smart Cards Enthält Chip zur Speicherung, Verarbeitung und Übertragung von Daten Abmessungen der Karte nach ISO 7810 festgelegt Chiparchitektur nach ISO 7816,2 definiert Eight Contact Points Power Reset Check Ground Optional Contact Input/ Output Optional Contacts

3 Mikroprozessorkarten RAM bytes CPU 5MHz ROM K EEPROM K Mikroprozessorkarten sind richtige Computer Vorteile gegenüber Magnetstreifenkarten Weniger anfällig Viel mehr Speicherplatz Mehrere Applikationen auf einer Karte Nachträgliches Löschen und Installieren von Applikationen Kommunikation mit Kartenlesegerät Kryptographie

4 Verbreitung der Smart Cards Weltweit 1.5 Milliarden Smart Cards verkauft (Stand 99) Unter anderem von Visa, American Express, Florida State University etc. 2. Java Card Spezifikationen Herkömmliche Smart Cards vs. Java Smart Cards (2) Java Card API (2) Java Card Runtime Environment JCRE (2) APDU: das Verbindungsprotokoll zwischen Smart Card und Kartenlesegerät (3) Ein Beispielprogramm

5 Smart Cards vs. Java Smart Cards(1/2) Architektur einer konventionellen Smart Card: Applikation Betriebssystem Prozessor Keine klare Trennung zwischen OS und Applikationen Viele proprietäre, untereinander nicht kompatible Betriebssysteme Applikation läuft nur auf einem Betriebssystem und gewissen Karten Entwicklung zeitaufwendig und teuer Smart Cards vs. Java Smart Cards(2/2) Architektur einer Java Smart Card: Applet Applet Applet Applet Applet Java Card API Java Card Virtual Machine Betriebssystem Prozessor Klare Trennung von Betriebssystem und Applikationen Applikationen sind kartenunabhängig

6 Java Card API (1/2) Nur Teilmenge von Java unterstützt In Java Card nicht implementiert Dynamisches Laden von Klassen Security Manager Garbage Collection Threads Cloning char, double, float, long Mehrdimensionale Arrays... Java Card API (2/2) API besteht aus Teilen von java.lang javacard.framework javacard.security, javacardx.crypto

7 Java Card Runtime Environment JCRE (1/2) Lebensdauer der Java Card VM = Lebensdauer der Smart Card jedes Applet ist von javacard.framework.applet abgeleitet JCRE interagiert mit dem Applet über folgende Methoden: install() select() process() deselect() Java Card Runtime Environment JCRE (2/2) Bei Änderung an Speicherresistenten Daten: atomares Prinzip Applet Isolation

8 Das APDU Protokoll (1/3) Application Protocol Data Units Halbduplex Kommunikationsprotokoll zwischen Smart Card und CAD (Card Acceptance Device) nach ISO 7816,4 spezifiziert Smart Card ist passiver Kommunikationspartner Command APDU, Response APDU Das APDU Protokoll (2/3) Command APDU Mandatory Header Command APDU Conditional Body CLA INS P1 P2 Lc Datafield Le CLA: Identifikation einer Applikation INS: Auszuführende Instruktion P1,P2: Parameter Lc: Anzahl der Bytes im Datafield Datafield: kann Daten enthalten Le: Max. Anzahl Bytes im Datafield der Antwort

9 Das APDU Protokoll (3/3) Response APDU Conditional Body Response APDU Mandatory Trailer Datafield SW1 SW2 Datafield: kann Daten enthalten SW1, SW2: Statusworte Bsp: Status heisst: alles in Ordnung Beispielprogramm (1/2) import javacard.framework.*; public class Wallet extends Applet {... private void getbalance(apdu apdu) { byte[] buffer = apdu.getbuffer(); short le = apdu.setoutgoing(); if(le<2) ISOException.throwIt(ISO7816.SW_WRONG_LENGTH); apdu.setoutgoinglength((byte)2); buffer[0] = (byte)(balance >> 8); buffer[1] = (byte)(balance & 0xFF); apdu.sendbytes((short)0, (short)2); }

10 Beispielprogramm (2/2) Wallet_CLA =0xB0, VERIFY = 0x20; CREDIT = 0x30; GET_BALANCE = 0x50; Applet sei mit PIN und Kontostand 0 initialisiert Typische Kommunikation: 0xB0 0x20 0x00 0x00 0x05 0x01 0x02 0x03 0x04 0x05 0x7F; 0x90 0x00; 0xB0 0x30 0x00 0x00 0x01 0x64 0x7F; 0x90 0x00; 0xB0 0x50 0x00 0x00 0x00 0x02; 0x00 0x64 0x90 0x00; 3. Java Card Development Kit Java Card API Klassen Converter: Testet ob Code von Java Card unterstützt wird Capgen: erzeugt.cap Dateien JCWDE (Java Card Workstation Development Environment): simuliert Java Card Umgebung APDU Tool: damit können dem JCWDE APDU s gesendet werden.

11 Ein Applet schreiben myapplet.java myapplet.cap javac capgen myapplet.class converter myapplet.jca JCWDE>... 4.Java Card in der Praxis und Fazit Verbreitung 100 Mio. Java Cards in Umlauf (2000) Visa, American Express,... Hauptvorteile von Java Card Kartenunabhängigkeit Einfachheit Fazit:Java auf dem Weg zum Standart in Sachen Smart Card Programmierung

12 Quellen Java Card Hauptseite: HowtowriteaJavaCardApplet: Smart Card Hersteller: Exkurs: Open Card