Verification of a Formal Security Model for Multiapplicative Smart Cards.

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll

Browse the full ESORICS paper archive.