Security-minded verification of cooperative awareness messages

Marie Farrell; Matthew Bradbury; Rafael C. Cardoso; Michael Fisher; Louise A. Dennis; Clare Dixon; Al Tariq Sheik; Hu Yuan; Carsten Maple

doi:10.1109/TDSC.2023.3345543

Security-minded verification of cooperative awareness messages

Marie Farrell
, Matthew Bradbury
, Rafael C. Cardoso
, Michael Fisher
, Louise A. Dennis
, Clare Dixon
, Al Tariq Sheik
, Hu Yuan
, Carsten Maple

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	IEEE Transactions on Dependable and Secure Computing
Early online date	21 Dec 2023
DOIs	https://doi.org/10.1109/TDSC.2023.3345543
Publication status	E-pub ahead of print - 21 Dec 2023

Bibliographical note

Note: This work was 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].

Keywords

Computer science and informatics

Access to Document

10.1109/TDSC.2023.3345543

https://doi.org/10.1109/TDSC.2023.3345543

Cite this

@article{588285ccddc14361a32196b9d3c8b774,

title = "Security-minded verification of cooperative awareness messages",

keywords = "Computer science and informatics",

author = "Marie Farrell and Matthew Bradbury and Cardoso, \{Rafael C.\} and Michael Fisher and Dennis, \{Louise A.\} and Clare Dixon and Sheik, \{Al Tariq\} and Hu Yuan and Carsten Maple",

note = "Note: This work was 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].",

year = "2023",

month = dec,

day = "21",

doi = "10.1109/TDSC.2023.3345543",

language = "English",

journal = "IEEE Transactions on Dependable and Secure Computing",

issn = "1545-5971",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Security-minded verification of cooperative awareness messages

AU - Farrell, Marie

AU - Bradbury, Matthew

AU - Cardoso, Rafael C.

AU - Fisher, Michael

AU - Dennis, Louise A.

AU - Dixon, Clare

AU - Sheik, Al Tariq

AU - Yuan, Hu

AU - Maple, Carsten

N1 - Note: This work was 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].

PY - 2023/12/21

Y1 - 2023/12/21

KW - Computer science and informatics

U2 - 10.1109/TDSC.2023.3345543

DO - 10.1109/TDSC.2023.3345543

M3 - Article

SN - 1545-5971

JO - IEEE Transactions on Dependable and Secure Computing

JF - IEEE Transactions on Dependable and Secure Computing

ER -