Login / Signup

Verification of a Formal Security Model for Multiapplicative Smart Cards.

Gerhard SchellhornWolfgang ReifAxel SchairerPaul A. KargerVernon AustelDavid C. Toll
Published in: ESORICS (2000)
Keyphrases