Results 1 to 10 of about 673,528 (247)
An integrated development environment for Java Card [PDF]
Abstract This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the Java Card Runtime Environment (JCRE), and the Java Card APIs. The resulting environment consists of a set of tightly integrated and somewhat smart tools, such as a Java ...
Henrik Nilsson, Denis Caromel
exaly +6 more sources
Smart Tools for Java Cards [PDF]
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Java Card Runtime Environment), and the Java Card APIs. The resulting environment consists of a set of tightly integrated and somewhat smart tools, such as a Java specific ...
Denis Caromel
exaly +4 more sources
Bytecode verification on Java smart cards [PDF]
AbstractThis article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off‐card bytecode transformations, we simplify the bytecode verifier and reduce its memory requirements to the point where it can be embedded on a smart card, thus increasing significantly the security of post‐issuance ...
Reinhard Berlach +4 more
exaly +7 more sources
Validation of the Child Development Card (KKA) as a growth and development tool for stunted and normal children in West Java, Indonesia [PDF]
Background Stunting remains a major public health issue in Indonesia, and the limitations of anthropometric measures highlight the need for alternative tools such as the Child Development Card (KKA).
Ratna Jatnika +2 more
doaj +2 more sources
INVESTIGATION OF JAVA SMART CARD TECHNOLOGYFOR MULTI-TASK APPLICATIONS [PDF]
The objective of this work is to build a number of different secure applets for Java smart card were each applet is designed for a specific task. Three packages were designed; the first package is the “Secure Wallet” which represents the electronic money
Sinan G. Abid Ali +2 more
doaj +1 more source
Memory‐constrained implementation of lattice‐based encryption scheme on standard Java Card platform
The lattice‐based encryption scheme has high efficiency and reliability, and it can be run on small devices with limited memory capacity and computational resources such as sensor nodes or smart cards.
Ye Yuan +4 more
doaj +1 more source
Formalizing the safety of Java, the Java virtual machine, and Java card [PDF]
We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smartcards. The conclusion is that although a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine-readable formal models of the whole of Java and its ...
Pieter H. Hartel, Luc Moreau 0001
openaire +3 more sources
Children would be categorized as children who have underweight nutritional status, if according to index of anthropometric they have a lack of weight. In Indonesia, this anthropometric index is recorded on a Card Toward Health called as KMS.
Nur Chamidah +2 more
doaj +1 more source
Research on Java card security
To protect privacy and the safety of property,the security research of Java card was proposed.On the basis of systematically discussing the basic composition of Java card,the key of attacking methods were summarized,including logical attack,fault ...
Xue-lian ZHANG,Zhen WU,Zhi-bo DU,Min WANG,Chun-ling XIANG
doaj +3 more sources
UTILIZAÇÃO DE JAVA CARD COMO PLATAFORMA PARA O DESENVOLVIMENTO DE APLICAÇÕES EM SMART CARD.
With the growth of Java Card technology and the increased use of smart cards in the market, demand for the development of applications that run on the cards has risen.
Lucas Plis Dolce +2 more
doaj +1 more source

