Java Card
Java Card
The main design goals of the Java Card technology are portability and security.
Portability
Java Card aims at defining a standard smart card computing environment allowing the same Java
Card applet to run on different smart cards, much like a Java applet runs on different computers.
As in Java, this is accomplished using the combination of a virtual machine (the Java Card Virtual
Machine), and a well-defined runtime library, which largely abstracts the applet from differences
between smart cards. Portability remains mitigated by issues of memory size, performance, and
runtime support (e.g. for communication protocols or cryptographic algorithm)
Security
Java Card technology was originally developed for the purpose of securing sensitive information
stored on smart cards. Security is determined by various aspects of this technology:
Data encapsulation. Data is stored within the application, and Java Card applications
are executed in an isolated environment (the Java Card VM), separate from the
underlyingoperating system and hardware.
Applet Firewall. Unlike other Java VMs, a Java Card VM usually manages several
applications, each one controlling sensitive data. Different applications are therefore
separated from each other by an applet firewall which restricts and checks access of data
elements of one applet to another.
Cryptography. Commonly used encryption algorithms like DES, Triple
DES, AES, RSA (including elliptic curve cryptography) are supported. Other cryptographic
services like signing, key generation and key exchange are also supported.
Applet.The applet is a state machine which processes only incoming command
requests and responds by sending data or response status words back to the interface
device.
At the language level, Java Card is a precise subset of Java: all language constructs of Java
Card exist in Java and behave identically. This goes to the point that as part of a standard build
cycle, a Java Card card program is compiled into a Java class file by a Java compiler, without any
special option (the class file is post-processed by tools specific to the Java Card platform).
However, many Java language features are not supported by Java Card (in particular types char,
double, float and long; the transient qualifier; enums; arrays of more than one dimension;
finalization; object cloning; threads); and some common features are a runtime option missing in
many actual smart cards (in particular type int, which is the default type of a Java expression;
and garbage collection of objects).
Bytecode
Java Card bytecode run by the Java Card Virtual Machine is a functional subset of Java [Java 2 -
Standard Edition] bytecode run by a Java Virtual Machine, but uses a different encoding
optimized for size. A Java Card applet thus typically uses less bytecode than the hypothetical
Java applet obtained by compiling the same Java source code. This conserves memory, a
necessity in resource constrained devices like smart cards. As a design tradeoff, there is no
support for some Java language features (as mentioned above), and size limitations. Techniques
exist for overcoming the size limitations, such as dividing the application's code into packages
below the 64 KiB limit.
Standard Java Card class library and runtime support differs a lot from that in Java, and the
common subset is minimal. For example, the Java Security Manager class is not supported in
Java Card, where security policies are implemented by the Java Card Virtual Machine; and
transients (non-persistent, fast RAM variables that can be class members) are supported via a
Java Card class library, while they have native language support in Java.
Specific features
The Java Card runtime and virtual machine also support features that are specific to the Java
Card platform:
Persistence. With Java Card, objects are by default stored in persistent memory (RAM is
very scarce on smart cards, and it is only used for temporary or security-sensitive objects).
The runtime environment as well as the bytecode has therefore been adapted to manage
persistent objects.
Atomicity. As smart cards are externally powered and rely on persistent memory,
persistent updates must be atomic. The individual write operations performed by individual
bytecode instructions and API methods are therefore guaranteed atomic, and the Java Card
Runtime includes a limited transaction mechanism.
Applet isolation. The Java Card firewall is a mechanism that isolates the different
applets present on a card from each other. It also includes a sharing mechanism that allows
an applet to explicitly make an object available to other applets.
Development
Coding techniques used in a practical Java Card program differ significantly from that used in a
Java program. Still, that Java Card uses a precise subset of the Java language speeds up the
learning curve, and enables using a Java environment to develop and debug a Java Card
program (caveat: even if debugging occurs with Java bytecode, make sure that the class file fits
the limitation of Java Card language by converting it to Java Card bytecode; and test in a real
Java Card smart card early on to get an idea of the performance); further, one can run and debug
both the Java Card code for the application to be embedded in a smart card, and a Java
application that will be in the host using the smart card, all working jointly in the same
environment
The Classic Edition is an evolution of the Java Card Platform Version 2.2.2 and supports
traditional card applets on more resource-constrained devices.
The Connected Edition provides a new virtual machine and an enhanced execution
environment with network-oriented features. Applications can be developed as classic card
applets requested by APDU commands or as servlets using HTTP to support web-based
schemes of communication (HTML, REST, SOAP ...) with the card. The runtime supports
volatile objects (garbage collection), multithreading, inter-application communications
facilities, persistence, transactions, card management facilities ...)