Sciweavers

CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
14 years 4 months ago
Formal Proof of Smart Card Applets Correctness
: 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...
Jean-Louis Lanet, Antoine Requet