Gerhard Schellhorn Wolfgang Reif Axel Schairer Paul A. Karger Vernon Austel David C. Toll Verification of a Formal Security Model for Multiapplicative Smart Cards. 17-36 2000 conf/esorics/2000 ESORICS http://dx.doi.org/10.1007/10722599_2 db/conf/esorics/esorics2000.html#SchellhornRSKAT00