IEEE Transactions on Vehicular Technology · 2020 · 48 citations · 23 references
Hardware SecurityVehicle CommunicationSome/ip MiddlewareEngineeringHigh-speed In-vehicle NetworksIn-vehicle Service ProtectionService SecurityInformation SecurityInternet Of VehicleData PrivacySecurityAutomotive SecurityInternet Of ThingsCore Security ProtocolSecure ProtocolData SecurityCryptographyNetwork Security
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.
23
On the security of public key protocols
Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.5K citations
Passive Eavesdroppers, Public Key Algorithm, Engineering +14
Experimental Security Analysis of a Modern Automobile
Karl Koscher, Alexei Czeskis, Franziska Roesner et al. · 2010 · 1.8K citations
Comprehensive experimental analyses of automotive attack surfaces
Stephen Checkoway, Damon McCoy, Brian Kantor et al. · 2011 · 1.3K citations