Verification of a Formal Security Model for Multiapplicative Smart Cards

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]

Authors

Gerhard Schellhorn

This author has not been identified. Look up 'Gerhard Schellhorn' in Google

Wolfgang Reif

This author has not been identified. It may be one of the following persons: Look up 'Wolfgang Reif' in Google

Axel Schairer

This author has not been identified. Look up 'Axel Schairer' in Google

Paul A. Karger

This author has not been identified. Look up 'Paul A. Karger' in Google

Vernon Austel

This author has not been identified. Look up 'Vernon Austel' in Google

David C. Toll

This author has not been identified. Look up 'David C. Toll' in Google