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.

No reviews for this publication, yet.