Litcius/Paper detail

Securing SOME/IP for In-Vehicle Service Protection

Marco Iorio, Massimo Reineri, Fulvio Risso, Riccardo Sisto, Fulvio Valenza

2020IEEE Transactions on Vehicular Technology52 citationsDOI

Abstract

Although high-speed in-vehicle networks are being increasingly adopted by the industry to support emerging use cases, previous research already demonstrated that car hacking is a real threat. This paper formalizes a novel framework proposed to provide improved security to the emerging SOME/IP middleware, without introducing at the same time limitations in the communication patterns available. Most notably, the entire traffic matrix is designed to be configured using simple high-level rules, clearly stating who can talk to whom according to the service abstraction adopted by SOME/IP. Three incremental security levels are made available, accounting for different services being associated with different requirements. The core security protocol, encompassing a session establishment phase followed by the transmission of secured SOME/IP messages, has been formally verified, to prove its correctness in terms of authentication and secrecy properties. Performance-wise, in-depth experimental evaluations conducted with an extended version of vsomeip confirmed the introduction of quite limited penalties compared to the bare unsecured implementation.

Topics & Concepts

Computer scienceCorrectnessAuthentication (law)Computer securitySecrecySimple (philosophy)Computer networkSession (web analytics)CryptographyIP Multimedia SubsystemService (business)Cryptographic protocolProtocol (science)Quality of serviceWorld Wide WebAlternative medicineEconomicsProgramming languageMedicineEconomyPhilosophyPathologyEpistemologyAdvanced Authentication Protocols SecurityVehicular Ad Hoc Networks (VANETs)User Authentication and Security Systems