Isabelle Attali Thomas P. Jensen Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers Java Card Lecture Notes in Computer Science 2041 Springer 2001 3-540-42167-X db/conf/javacard/javacard2000.html