In an overview paper called State of the Art: Embedding Security in Vehicles, Wolf et al. give a general stateof- the-art overview of IT security in vehicles and describe core security technologies and relevant security mechanisms. In this paper we show that a formal analysis of many of the related properties is possible. This indicates that many expected aspects in the design of vehicular security can be verified formally. Our presentation is based on a recent paper by the second author et al. [13] where a new attestation-based vehicular security systems is represented. We briefly summarize the general properties required in the design of vehicular IT security and verify that the new architecture given by Oguma et al. suggests new desirable security aspects.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formally verifiable features in embedded vehicular security systems


    Beteiligte:
    Lee, Gyesik (Autor:in) / Oguma, Hisashi (Autor:in) / Yoshioka, Akira (Autor:in) / Shigetomi, Rie (Autor:in) / Otsuka, Akira (Autor:in) / Imai, Hideki (Autor:in)


    Erscheinungsdatum :

    2009-10-01


    Format / Umfang :

    520138 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming

    Farzaneh, Morteza Hashemi / Shafaei, Sina / Knoll, Alois | IEEE | 2016


    Machine-verifiable diffractive features for document security [3314-21]

    Tompkin, W. R. / Staub, R. / SPIE | British Library Conference Proceedings | 1998


    Introduction to Vehicular Embedded Security

    Weimerskirch, André / Wolf, Marko / Wollinger, Thomas | SAE Technical Papers | 2009