Publication
Verification of a Formal Security Model for Multiapplicative Smart Cards
Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul Karger; Vernon Austel; David Toll
In: Computer Security -- Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS 2000). European Symposium on Computer Security (ESORICS), Pages 17-36, LNCS, Vol. 1895, Springer, Berlin, Heidelberg,, 2000.