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.