139
click to vote
ESMART
15 years 6 months ago
2001 Springer
If a smartcard provides security functions such as electronic signature creation, valuables such as electronic money and/or sensitive data such as medical data, then the smartcard ...
114
click to vote
ESMART
15 years 6 months ago
2001 Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
ESMART
15 years 6 months ago
2001 Springer |