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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formally verifiable features in embedded vehicular security systems


    Contributors:


    Publication date :

    2009-10-01


    Size :

    520138 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English





    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