Farrell, MarieBradbury, MatthewCardoso, Rafael C.Fisher, MichaelDennis, Louise A.Dixon, ClareSheik, Al TariqYuan, HuMaple, Carsten2024-07-292024-07-292024-07-01Farrell, M, Bradbury, M, Cardoso, R C, Fisher, M, Dennis, L A, Dixon, C, Sheik, A T, Yuan, H & Maple, C 2024, 'Security-Minded Verification of Cooperative Awareness Messages', IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4, pp. 4048-4065. https://doi.org/10.1109/TDSC.2023.33455431545-5971ORCID: /0000-0001-6666-6954/work/152426118https://hdl.handle.net/2164/23926Work supported by the Royal Academy of Engineering and UKRI via the Trustworthy Autonomous Systems Nodes on Security [EP/V026763/1] and Verifiability [EP/V026801/2] and the FAIR-SPACE Hub [EP/R026092]183486803engSDG 16 - Peace, Justice and Strong InstitutionsVerificationSecuritySafetyThreat ModellingConnected Autonomous VehiclesCooperative Awareness MessagesQA75 Electronic computers. Computer scienceGeneral Computer ScienceElectrical and Electronic EngineeringUK Research and Innovation (UKRI)EP/V026763/1EP/V026801/2EP/R026092QA75Journal article10.1109/TDSC.2023.3345543https://www.scopus.com/pages/publications/85181839100