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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.