Universität Karlsruhe
Institut für Logik, Komplexität und Deduktionssysteme
Prof. P. H. Schmitt
Dr. B. Beckert

Entwicklung von Java Card-Applets

Praktikum im Wintersemester 2000/2001

Seit einiger Zeit sind Chipkarten (SmartCards) auf dem Markt, auf denen eine virtuelle Maschine für Java Card (eine Teilsprache von Java) realisiert ist. Diese zukunftsweisende Technologie erlaubt es, die Vorteile von Java - vor allem Sicherheit und Portabilität - nun auch für Chipkarten zu nutzen. Mögliche Anwendungen sind beispielsweise Electronic banking, Krankenversicherungskarten, Benutzeridentifikation, usw.

Im Rahmen des Praktikums sollen am Beispiel eines Zugangskontroll- und Abrechnungssystems für ein Internet-Cafe die auf den Chipkarten laufenden JavaCard-Applets und die Software für die Kartenleser entworfen, spezifiziert und implementiert werden.

Für die Praktikumsarbeit werden professionelle Werkzeuge verwendet: Die Anwendung soll mit Hilfe des CASE-Tools TogetherJ in der Unified Modeling Language (UML) spezifiziert werden. Für die Implementierung der Java Card-Applets steht das Entwicklungssystem der Firma Dallas Semiconductor zur Verfügung, das es auch erlaubt, die entwickelten Applets auf Java-iButtons zu übertragen und zu testen. Die entstehenden Applets sollen ggf. als Anwendungsbeispiele im KeY-Projekt Verwendung finden.

PostScript-Dokument mit einer genaueren Beschreibung des Szenariums und der Aufgabenstellung


Termin

Mittwochs, 17:30 Uhr, Raum 301 oder Raum 320

Nächster Termin: Mittwoch, 08.11.00


Links zu relevanten Dokumenten


beckert@ira.uka.de
$Id: index.html,v 1.3 2000/10/31 15:44:21 beckert Exp $