Employing a Model of Computation for Testing and Verifying the
Security of Connected and Autonomous Vehicles
Ala Jamil Alnaser,
James Holland,
Arman Sargolzae
Abstract:<div>Testing and verifying the security of connected and autonomous vehicles (CAVs)
under cyber-physical attacks is a critical challenge for ensuring their safety
and reliability. Proposed in this article is a novel testing framework based on
a model of computation that generates scenarios and attacks in a closed-loop
manner, while measuring the safety of the unit under testing (UUT), using a
verification … Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.