[HTML] sciencedirect.com

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

R Kirk, HN Nguyen, J Bryans, SA Shaikh… - Journal of Logical and …, 2023 - Elsevier
Modern vehicles are comparable to desktop computers due to the increase in connectivity.
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …
被引用次数：7 相关文章

A Formal Framework for Security Testing of Automotive Over-The-Air Update Systems

R Kirk, HN Nguyen, J Bryans… - Journal of Logical …, 2022 - pureportal.coventry.ac.uk
Modern vehicles are comparable to desktop computers due to the increase in connectivity.
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …

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

R Kirk, H Nguyen, J Bryans, S Shaikh… - Journal of Logical and …, 2023 - cronfa.swan.ac.uk
Modern vehicles are comparable to desktop computers due to the increase in connectivity.
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …
[PDF] core.ac.uk

[PDF][PDF] Journal of Logical and Algebraic Methods in Programming

R Kirk, HN Nguyen, J Bryans, SA Shaikh, C Wartnaby - 2022 - core.ac.uk
Modern vehicles have become part of the Internet of Things (IoT), connecting them to their
users, manufacturers and the rest of the world. Consequently, vehicle connectivity …
[HTML] swan.ac.uk

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

R Kirk, H Nguyen, J Bryans, S Shaikh… - Journal of Logical and …, 2023 - cronfa.swan.ac.uk
Modern vehicles are comparable to desktop computers due to the increase in connectivity.
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …