Tool for detection of JavaCard libraries on smartcards

Mgr. Sujeet Daulat Deshmukh

Master's thesis

Abstract:

Java Card je programovací middleware platforma, která se používá po celém světě. Virtuální stroj Java Card (JCVM) je jeho rozhodující složkou. JCVM se skládá z knihovních balíčků podle specifikace fóra Java Card Forum. Některé z těchto balíčků jsou povinné pro implementaci v Java Card a některé balíčky jsou nepovinné. Rozhodnutí o implementaci volitelných balíčků nese výrobce konkrétní rodiny čipových karet s platformou Java Card. V této práci je vyvinut detekční nástroj, který dokáže rozpoznat podporované balíčky, třídy a metody implementované ve zkoumané kartě Java.

Abstract:

Java Card is a programming middleware platform which is used extensively around the world. Java Card Virtual Machine (JCVM) is its crucial component. JCVM consists of library packages as per specification by the Java Card Forum. Some of these packages are mandatory to be implemented in the Java Card, and some of the packages are optional. The decision for implementation of the optional packages lies with the manufacturer of the particular smart card family with Java Card platform. In this thesis, a detection tool is developed which can detect the supported packages, classes and methods implemented in the examined Java Card.

Keywords

Java Card, Direct CAP Manipulation method, Off-card verification, Export file, Global Platform

Language used: English

Date on which the thesis was submitted / produced: 13. 12. 2018

Thesis defence

• Date of defence: 31. 1. 2019
• Supervisor: RNDr. Petr Švenda, Ph.D.
• Reader: prof. RNDr. Václav Matyáš, M.Sc.

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Information Technology Security (eng.)