62 search results - page 4 / 13 » Smart Tools for Java Cards |
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This short paper introduces the issues and challenges of next generation Java-based smart card platforms. Betting on a continuous evolution toward open computing devices,...
ESMART
2001
Springer
14 years 11 days ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
CARDIS
2004
Springer
14 years 1 months ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
SPE
2002
13 years 7 months ago
2002
This 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 byteco...
CN
1999
13 years 7 months ago
1999
The combined benefits of smart card to support mobility in a pocket coupled with the ubiquitous access of Web technology, present a new paradigm for medical information access sys...