Formalising uptane in csp for security testing

R Kirk, HN Nguyen, J Bryans, S Shaikh… - 2021 IEEE 21st …, 2021 - ieeexplore.ieee.org
Modern vehicles are susceptible to cybersecurity attacks due to the complexity of their
electronics architecture and a progressive integration of connectivity technologies. A …

Formalising UPTANE in CSP for Security Testing

R Kirk, HN Nguyen, J Bryans… - The 21st IEEE …, 2021 - pureportal.coventry.ac.uk
Modern vehicles are susceptible to cybersecurity attacks due to the complexity of their
electronics architecture and a progressive integration of connectivity technologies. A …