@ARTICLE{10368348,
  author={Farrell, Marie and Bradbury, Matthew and Cardoso, Rafael C. and Fisher, Michael and Dennis, Louise A. and Dixon, Clare and Sheik, Al Tariq and Yuan, Hu and Maple, Carsten},
  journal={IEEE Transactions on Dependable and Secure Computing},
  title="{Security-Minded Verification of Cooperative Awareness Messages}",
  year={2024},
  volume={21},
  number={4},
  pages={4048-4065},
  keywords={Security;Protocols;Runtime;Safety;Monitoring;Computer crime;Threat modeling;Verification;security;safety;threat modeling;connected autonomous vehicles;cooperative awareness messages},
  doi={10.1109/TDSC.2023.3345543},
note={[<span class="tas_vn">TAS Verifiability Node</span>]}
}

{"_id":"sddA5simshgBiikF6","bibbaseid":"farrell-bradbury-cardoso-fisher-dennis-dixon-sheik-yuan-etal-securitymindedverificationofcooperativeawarenessmessages-2024","author_short":["Farrell, M.","Bradbury, M.","Cardoso, R. C.","Fisher, M.","Dennis, L. A.","Dixon, C.","Sheik, A. T.","Yuan, H.","Maple, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Farrell"],"firstnames":["Marie"],"suffixes":[]},{"propositions":[],"lastnames":["Bradbury"],"firstnames":["Matthew"],"suffixes":[]},{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise","A."],"suffixes":[]},{"propositions":[],"lastnames":["Dixon"],"firstnames":["Clare"],"suffixes":[]},{"propositions":[],"lastnames":["Sheik"],"firstnames":["Al","Tariq"],"suffixes":[]},{"propositions":[],"lastnames":["Yuan"],"firstnames":["Hu"],"suffixes":[]},{"propositions":[],"lastnames":["Maple"],"firstnames":["Carsten"],"suffixes":[]}],"journal":"IEEE Transactions on Dependable and Secure Computing","title":"Security-Minded Verification of Cooperative Awareness Messages","year":"2024","volume":"21","number":"4","pages":"4048-4065","keywords":"Security;Protocols;Runtime;Safety;Monitoring;Computer crime;Threat modeling;Verification;security;safety;threat modeling;connected autonomous vehicles;cooperative awareness messages","doi":"10.1109/TDSC.2023.3345543","note":"[<span class=\"tas_vn\">TAS Verifiability Node</span>]","bibtex":"@ARTICLE{10368348,\n author={Farrell, Marie and Bradbury, Matthew and Cardoso, Rafael C. and Fisher, Michael and Dennis, Louise A. and Dixon, Clare and Sheik, Al Tariq and Yuan, Hu and Maple, Carsten},\n journal={IEEE Transactions on Dependable and Secure Computing},\n title=\"{Security-Minded Verification of Cooperative Awareness Messages}\",\n year={2024},\n volume={21},\n number={4},\n pages={4048-4065},\n keywords={Security;Protocols;Runtime;Safety;Monitoring;Computer crime;Threat modeling;Verification;security;safety;threat modeling;connected autonomous vehicles;cooperative awareness messages},\n doi={10.1109/TDSC.2023.3345543},\nnote={[<span class=\"tas_vn\">TAS Verifiability Node</span>]}\n}\n\n","author_short":["Farrell, M.","Bradbury, M.","Cardoso, R. C.","Fisher, M.","Dennis, L. A.","Dixon, C.","Sheik, A. T.","Yuan, H.","Maple, C."],"key":"10368348","id":"10368348","bibbaseid":"farrell-bradbury-cardoso-fisher-dennis-dixon-sheik-yuan-etal-securitymindedverificationofcooperativeawarenessmessages-2024","role":"author","urls":{},"keyword":["Security;Protocols;Runtime;Safety;Monitoring;Computer crime;Threat modeling;Verification;security;safety;threat modeling;connected autonomous vehicles;cooperative awareness messages"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX","AdmcuDNM8GSatWG9Y"],"keywords":["security;protocols;runtime;safety;monitoring;computer crime;threat modeling;verification;security;safety;threat modeling;connected autonomous vehicles;cooperative awareness messages"],"search_terms":["security","minded","verification","cooperative","awareness","messages","farrell","bradbury","cardoso","fisher","dennis","dixon","sheik","yuan","maple"],"title":"Security-Minded Verification of Cooperative Awareness Messages","year":2024}