Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods

AutorZelle, Daniel; Lauser, Timm; Kern, Dustin; Krauß, Christoph
ArtConference Paper
AbstraktAutomotive Ethernet is increasingly used in modern vehicles and complements or replaces legacy bus systems such as CAN. Ethernet also enables service-oriented communication with the Scalable service-Oriented MiddlewarE over IP (SOME/IP) middleware. In this paper, we present a formal and practical security analysis of Scalable service-Oriented MiddlewarE over IP (SOME/IP), the identified Man-in-the-Middle (MITM) attacks, and propose two security extensions. The attacks are possible even if SOME/IP is used in combination with link layer security mechanisms. The attacker can impersonate a service offering server and a service consuming client. The two most common communication methods, request/response and publish/subscribe, are both vulnerable. In most communication scenarios, we are able to route all messages over the attacker. Our security extensions for authentication and authorization of service provisioning and usage protect against these attacks. We formally analyze the security and evaluate the overhead with practical implementations.
KonferenzInternational Conference on Availability, Reliability and Security (ARES) <16, 2021, Online>
ReferenzAssociation for Computing Machinery -ACM-: 16th International Conference on Availability, Reliability and Security, ARES 2021: Vienna, Austria, August 17 - 20, 2021, virtual. New York: ACM, 2021, Art. 8, 20 pp.
SchlüsselISBN : 9781450390514