Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile ...

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where ...

Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical,highly distributed, mobile ...

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the ...

Nowadays, JavaCard Platform-based SmartCards are multi-application and support inter-applet collaboration. The JavaCard framework enforces applet isolation by means of the Applet Firewall to prevent highly sensitive data ...

O projeto tem o objetivo de propor e desenvolver uma ferramenta para a obtenção de certificados digitais de maneira on line, a partir de um dispositivo móvel capaz de rodar Java ME. A ferramenta possibilitará o uso de smart ...

Este artículo presenta la tecnología Java Card y los certificados X.509 como métodos de autenticación en aplicaciones web en ambientes universitarios, en el caso concreto la Universidad Tecnológica de Panamá (UTP). La ...

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality ...