Vijayakrishnan Pasupathinathan Josef Pieprzyk Huaxiong Wang Joo Yeon Cho Formal analysis of card-based payment systems in mobile devices. 213-220 2006 conf/acsw/2006 ACSW Frontiers http://doi.acm.org/10.1145/1151828.1151853 db/conf/acsw/acsw2006.html#PasupathinathanPWC06