Login / Signup
A B model for ensuring soundness of a large subset of the Java Card virtual machine.
Antoine Requet
Published in:
Sci. Comput. Program. (2003)
Keyphrases
</>
virtual machine
java card
high level
conceptual model
smart card
security model
cloud computing