2 search results - page 1 / 1 » Using Coq to Verify Java Card Applet Isolation Properties |
71
Voted
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
117
click to vote
CARDIS
1998
Springer
15 years 7 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...