• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish/report a document
  • Help

Verified formal security models for multiapplicative smart cards

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Gerhard SchellhornORCiDGND, Wolfgang ReifORCiDGND, Axel Schairer, Paul Karger, Vernon Austel, David Toll
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/35649
    Parent Title (English):Journal of Computer Security
    Type:Article
    Language:English
    Year of first Publication:2002
    Release Date:2017/07/21
    Volume:10
    Issue:4
    First Page:339
    Last Page:367
    DOI:https://doi.org/10.3233/JCS-2002-10403
    Institutes:Fakultät für Angewandte Informatik
    Fakultät für Angewandte Informatik / Institut für Informatik
    Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks