Includes supplementary material: sn.pub/extras
Isabelle Attali
Apple Applets Java Smart cards digital payment electronic commerce formal method formal methods information security internet security java card language java card programs java cards secure communications security