Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Formally verifiable features in embedded vehicular security systems
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.
Formally verifiable features in embedded vehicular security systems
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.
Formally verifiable features in embedded vehicular security systems
Lee, Gyesik (Autor:in) / Oguma, Hisashi (Autor:in) / Yoshioka, Akira (Autor:in) / Shigetomi, Rie (Autor:in) / Otsuka, Akira (Autor:in) / Imai, Hideki (Autor:in)
01.10.2009
520138 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Soil mechanics formally accredited
Engineering Index Backfile | 1936
Soil mechanics formally accredited
Engineering Index Backfile | 1936
European Commission formally recommends Eurocodes
British Library Online Contents | 2004
Chicago Union Station is formally opened
| Engineering Index Backfile | 1925