5 search results - page 1 / 1 » javacard 2000 |
JAVACARD
2000
13 years 8 months ago
2000
JAVACARD
2000
13 years 8 months ago
2000
JAVACARD
2000
13 years 8 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
JAVACARD
2000
13 years 8 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...