Security-Minded Verification of Cooperative Awareness Messages
| dc.contributor.author | Farrell, Marie | |
| dc.contributor.author | Bradbury, Matthew | |
| dc.contributor.author | Cardoso, Rafael C. | |
| dc.contributor.author | Fisher, Michael | |
| dc.contributor.author | Dennis, Louise A. | |
| dc.contributor.author | Dixon, Clare | |
| dc.contributor.author | Sheik, Al Tariq | |
| dc.contributor.author | Yuan, Hu | |
| dc.contributor.author | Maple, Carsten | |
| dc.contributor.institution | University of Aberdeen.Computing Science | en |
| dc.contributor.institution | University of Aberdeen.Agents at Aberdeen | en |
| dc.date.accessioned | 2024-07-29T10:31:00Z | |
| dc.date.available | 2024-07-29T10:31:00Z | |
| dc.date.issued | 2024-07-01 | |
| dc.description | Work 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] | en |
| dc.description.status | Peer reviewed | en |
| dc.format.extent | 18 | |
| dc.format.extent | 3486803 | |
| dc.identifier | 283694714 | |
| dc.identifier | d2125112-a5f5-416d-85cc-a48b0bd3c45f | |
| dc.identifier | 85181839100 | |
| dc.identifier.citation | Farrell, 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.3345543 | en |
| dc.identifier.doi | 10.1109/TDSC.2023.3345543 | |
| dc.identifier.issn | 1545-5971 | |
| dc.identifier.other | ORCID: /0000-0001-6666-6954/work/152426118 | |
| dc.identifier.uri | https://hdl.handle.net/2164/23926 | |
| dc.identifier.url | https://www.scopus.com/pages/publications/85181839100 | en |
| dc.language.iso | eng | |
| dc.relation.ispartof | IEEE Transactions on Dependable and Secure Computing | en |
| dc.subject | SDG 16 - Peace, Justice and Strong Institutions | en |
| dc.subject | Verification | en |
| dc.subject | Security | en |
| dc.subject | Safety | en |
| dc.subject | Threat Modelling | en |
| dc.subject | Connected Autonomous Vehicles | en |
| dc.subject | Cooperative Awareness Messages | en |
| dc.subject | QA75 Electronic computers. Computer science | en |
| dc.subject | General Computer Science | en |
| dc.subject | Electrical and Electronic Engineering | en |
| dc.subject | UK Research and Innovation (UKRI) | en |
| dc.subject | EP/V026763/1 | en |
| dc.subject | EP/V026801/2 | en |
| dc.subject | EP/R026092 | en |
| dc.subject.lcc | QA75 | en |
| dc.title | Security-Minded Verification of Cooperative Awareness Messages | en |
| dc.type | Journal article | en |
Files
Original bundle
1 - 1 of 1
- Name:
- Farrell_etal_IEEETDSC_Security-Minded_Verification_Cooperative_VOR.pdf
- Size:
- 3.33 MB
- Format:
- Adobe Portable Document Format