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.
No reviews for this publication, yet.