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

DOI10.1016/J.JLAMP.2022.100812MaRDI QIDQ2096423zbMATH OpenOpenAlexFDO

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

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

automotive cybersecurityautomotive OTACSPsecurity testinguptane

Mathematics Subject Classification ID

Computer science (68-XX)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2096423)