Java on Smart Cards: Programming and Security : First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers - Isabelle Attali, Thomas Jensen ((Lecture Notes in Computer Science))