Gilles Barthe Guillaume Dufay Formal Methods for Smartcard Security. 133-177 2005 conf/fosad/2005 FOSAD http://dx.doi.org/10.1007/11554578_5 db/conf/fosad/fosad2005.html#BartheD05