ESMART 2001 | Sciweavers

15

ESMART
2001
Springer

163views Security Privacy» more ESMART 2001»

Use of Biometrics for User Verification in Electronic Signature Smartcards

13 years 9 months ago

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 ...

Bruno Struif

claim paper

Read More »

15

click to vote

ESMART
2001
Springer

141views Security Privacy» more ESMART 2001»

An Operational Semantics of the Java Card Firewall

13 years 9 months ago

Download www-verimag.imag.fr

This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card ﬁrewall, method invocation, ﬁeld access, variable access,...

Marc Éluard, Thomas P. Jensen, Ewen Denney

claim paper

Read More »

6

click to vote

ESMART
2001
Springer

131views Security Privacy» more ESMART 2001»

An Internet Authorization Scheme Using Smart-Card-Based Security Kernels

13 years 9 months ago