Buscar
Mostrando ítems 1-10 de 10073
Identification Cards of Trinidad and Tobago: guide
(2011-08-18)
The guide to the Identification Cards of Trinidad and Tobago.
JCML - Java Card Modeling Language: Definição e Implementação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-09-06)
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 ...
Remote laboratory experiment access via an RFID interface
(2012-10-16)
In this paper, remote laboratory experiment access is considered through the use of radio frequency identification (RFID) technology. Contactless smart cards are used widely in many applications from travel cards through ...
The supply card system: Analytical study of some economic and social dimensions
(Universidad del Zulia, 2019)
Specification and Runtime Verification of Java Card Programs
(Elsevier, 2009)
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 ...
Secure object sharing development kit for Java Card
(UR. FI – INCO., 2001)
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 ...