Verified Formal Security Models for Multiapplicative Smart Cards

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll. Verified Formal Security Models for Multiapplicative Smart Cards. Journal of Computer Security, 10(4):339-368, 2002.

Abstract

Abstract is missing.