ISSE

Search

Verification of a Formal Security Model for Multiapplicative Smart Cards

G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, D.Toll

Verification of a Formal Security Model for Multiapplicative Smart Cards

published 2000 Proc. of the 6th European Symposium on Research in Computer Security (ESORICS)

Publisher: Springer LNCS 1895


Downloads: