Checking secure interactions of smart card appletsElectronic purse applet certi cation: extended abstract
