Java on smart card : programming and security : first International Workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers - Attali, Isabelle; Jensen, Thomas, 1965- (Lecture notes in computer science ;, 2001)