Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll. Verification of a Formal Security Model for Multiapplicative Smart Cards. In Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner, editors, Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings. Volume 1895 of Lecture Notes in Computer Science, pages 17-36, Springer, 2000. [doi]