Includes supplementary material: sn.pub/extras
Isabelle Attali
Smart Card Smart cards biometrice consumer security cryptography devices digital payment e-commerce formal method formal verification java card java card firewall java cards programming security