2 search results - page 1 / 1 » Formal Development of an Embedded Verifier for Java Card Byt... |
DSN
2002
IEEE
13 years 10 months ago
2002
IEEE
CARDIS
1998
Springer
13 years 9 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...