Schellhorn, G., Reif, W., Schairer, A., Karger, P., Austel, V., & Toll, D. (2002). Verified formal security models for multiapplicative smart cards. Journal of Computer Security, 10(4), 339. https://doi.org/10.3233/JCS-2002-10403
Chicago Style (17th ed.) CitationSchellhorn, Gerhard, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, and David Toll. "Verified Formal Security Models for Multiapplicative Smart Cards." Journal of Computer Security 10, no. 4 (2002): 339. https://doi.org/10.3233/JCS-2002-10403.
MLA (9th ed.) CitationSchellhorn, Gerhard, et al. "Verified Formal Security Models for Multiapplicative Smart Cards." Journal of Computer Security, vol. 10, no. 4, 2002, p. 339, https://doi.org/10.3233/JCS-2002-10403.
Warning: These citations may not always be 100% accurate.