Java Card Development Kit

Added the following new features in version 3.0.5 of the Java Card 3 Platform, Classic Edition API:

• Elliptic curve domain conservation

• PIN extensions for banking

• Secure basic operations

• Secure variables and arrays

• Support of Java 7 language improvements

• Utilities for analyzing an APDU's CLA byte

• Static cryptography

• Diffie-Hellmann support

• One-to-many biometry support

Added support for new cryptographic algorithms:

• AES-CMAC

• PACE

• AEAD_CCM

• AEAD_GCM

Aligned the platform and its documentation with the latest ISO/IEC 7816-4 specification. In particular, the Java Card 3 Platform specifications in this release refer to the 2013 release of the ISO/IEC 7816-4 specification and align with the vocabulary of that specification.

Added new methods in version 3.0.5 of the Java Card 3 Platform, Classic Edition API.

Added support in the Java Card 3.0.5 and later tool chain for the following Java language enhancements that were introduced in Java SE 7 and are further described at https://docs.oracle.com/javase/7/docs/technotes/guides/language/enhancements.html#javase7:

• Binary Literals – The integral types (byte, short, int, and long) can also be expressed using the binary number system. To specify a binary literal, add the prefix 0b or 0B to the number.

• Underscores in Numeric Literals – Any number of underscore characters (_) can appear anywhere between digits in a numerical literal. This feature enables you, for example, to separate groups of digits in numeric literals, which can improve the readability of your code.

• Type Inference for Generic Instance Creation – You can replace the type arguments required to invoke the constructor of a generic class with an empty set of type parameters (<>) as long as the compiler can infer the type arguments from the context. This pair of angle brackets is informally called the diamond.

• Improved Compiler Warnings and Errors When Using Non-Reifiable Formal Parameters with Varargs Methods – The Java SE 7 complier generates a warning at the declaration site of a varargs method or constructor with a non-reifiable varargs formal parameter. Java SE 7 introduces the compiler option -Xlint:varargs and the annotations @SafeVarargs and @SuppressWarnings({"unchecked", "varargs"}) to suppress these warnings.

• Catching Multiple Exception Types and Rethrowing Exceptions with Improved Type Checking – A single catch block can handle more than one type of exception. In addition, the compiler performs more precise analysis of rethrown exceptions than earlier releases of Java SE. This enables you to specify more specific exception types in the throws clause of a method declaration.

In addition to the String Constant Annotations introduced in Java Card 3.0.4, the Java Card 3.0.5 and later tool chain supports the following compile-time pre-defined annotations (provided JCDK_HOME/lib/api_classic_annotations.jar is added to the compiler's classpath):

• |@Deprecated| – A program element annotated @Deprecated is one that programmers are discouraged from using, typically because it is dangerous, or because a better alternative exists. Compilers warn when a deprecated program element is used or overridden in non-deprecated code.

• |@Override| – Indicates that a method declaration is intended to override a method declaration in a supertype.

• |@SuppressWarnings| – Indicates that the named compiler warnings should be suppressed in the annotated element and in all program elements contained in the annotated element.

• |||@SafeVarag | – A programmer assertion that the body of the annotated method or constructor does not perform potentially unsafe operations on its varargs parameter.

(3.0.5u2 November 2017) Enhanced the tool chain to enforce consistency between verified and loaded content:

• Verifier has been extended to generate a digest for each CAP component verified. These digests can be used during the loading process to check that each loaded component matches the one verified.

• Scriptgen has been modified to check the digest of components included in the loading script.

(3.0.5u2 November 2017) Extended Maskgen to allow external CAP files in the mask, in addition to JCA files.

(3.0.5u2 January 2018) Updated Java Card Development Kit 3.0.5u2 to fix a critical bug that prevented the Eclipse plug-in from functioning correctly. Any installed instance of Java Card Development Kit 3.0.5u2 must be removed before installing the update.

(3.0.5u3 April 2018) Added the command-line option -target to the Off-card CAP file verification tool. This option specifies the target platform on which the CAP file is to be loaded.