A formal framework for security testing of automotive over-the-air update systems

DOI10.1016/J.JLAMP.2022.100812OpenAlexW4296292872MaRDI QIDQ2096423

Siraj Ahmed Shaikh, Jeremy Bryans, Charles Wartnaby, Hoang Nga Nguyen, Rhys Kirk

Publication date: 16 November 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100812

zbMATH Keywords

CSPautomotive cybersecurityautomotive OTAsecurity testinguptane

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Uptane
• Ettercap

Cites Work

• Modelchecking safety properties in randomized security protocols
• On the security of public key protocols

This page was built for publication: A formal framework for security testing of automotive over-the-air update systems