62 search results - page 7 / 13 » Smart Tools for Java Cards |
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
The goal of this research is to find a mechanism to guarantee that a file stored in a conventional file system, on disk, has not been modified. Our proposal for achieving that goa...
APLAS
2003
ACM
14 years 1 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
JAVACARD
2000
13 years 11 months ago
2000
ESEC
1999
Springer
14 years 5 days ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...