Java on Smart Cards:Programming and Security This book constitutes the thoroughly refereed post proceedings of the First International Java Card Workshop held in Cannes France in September 2000. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book together with one invited paper. All current theoretical and application oriented aspects of smart card security based on Java Card language programs are addressed