Java Card: The unsung hero of the Java Platforms