Encoded smart cards and token smart cards containing programming used to authenticate smart cards; smart card readers and writers