{"id":"https://openalex.org/W4390075297","doi":"https://doi.org/10.1109/tdsc.2023.3345543","title":"Security-Minded Verification of Cooperative Awareness Messages","display_name":"Security-Minded Verification of Cooperative Awareness Messages","publication_year":2023,"publication_date":"2023-12-21","ids":{"openalex":"https://openalex.org/W4390075297","doi":"https://doi.org/10.1109/tdsc.2023.3345543"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2023.3345543","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2023.3345543","pdf_url":"https://ieeexplore.ieee.org/ielx7/8858/4358699/10368348.pdf","source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/8858/4358699/10368348.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076259366","display_name":"Marie Farrell","orcid":"https://orcid.org/0000-0001-7708-3877"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marie Farrell","raw_affiliation_strings":["Department of Computer Science, University of Manchester, Manchester, U.K"],"raw_orcid":"https://orcid.org/0000-0001-7708-3877","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, Manchester, U.K","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064143171","display_name":"Matthew Bradbury","orcid":"https://orcid.org/0000-0003-4661-000X"},"institutions":[{"id":"https://openalex.org/I67415387","display_name":"Lancaster University","ror":"https://ror.org/04f2nsd36","country_code":"GB","type":"education","lineage":["https://openalex.org/I67415387"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matthew Bradbury","raw_affiliation_strings":["School of Computing, Communications, Lancaster University, Lancaster, U.K","School of Computing and Communications, Lancaster University, Lancaster, U.K"],"raw_orcid":"https://orcid.org/0000-0003-4661-000X","affiliations":[{"raw_affiliation_string":"School of Computing, Communications, Lancaster University, Lancaster, U.K","institution_ids":["https://openalex.org/I67415387"]},{"raw_affiliation_string":"School of Computing and Communications, Lancaster University, Lancaster, U.K","institution_ids":["https://openalex.org/I67415387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057738229","display_name":"Rafael C. Cardoso","orcid":"https://orcid.org/0000-0001-6666-6954"},"institutions":[{"id":"https://openalex.org/I195460627","display_name":"University of Aberdeen","ror":"https://ror.org/016476m91","country_code":"GB","type":"education","lineage":["https://openalex.org/I195460627"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rafael C. Cardoso","raw_affiliation_strings":["Department of Computing Science, University of Aberdeen, Aberdeen, U.K"],"raw_orcid":"https://orcid.org/0000-0001-6666-6954","affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Aberdeen, Aberdeen, U.K","institution_ids":["https://openalex.org/I195460627"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067587488","display_name":"Michael Fisher","orcid":"https://orcid.org/0000-0002-0875-3862"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Fisher","raw_affiliation_strings":["Department of Computer Science, University of Manchester, Manchester, U.K"],"raw_orcid":"https://orcid.org/0000-0002-0875-3862","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, Manchester, U.K","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040721287","display_name":"Louise A. Dennis","orcid":"https://orcid.org/0000-0003-1426-1896"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Louise A. Dennis","raw_affiliation_strings":["Department of Computer Science, University of Manchester, Manchester, U.K"],"raw_orcid":"https://orcid.org/0000-0003-1426-1896","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, Manchester, U.K","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013515770","display_name":"Clare Dixon","orcid":"https://orcid.org/0000-0002-4610-9533"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Clare Dixon","raw_affiliation_strings":["Department of Computer Science, University of Manchester, Manchester, U.K"],"raw_orcid":"https://orcid.org/0000-0002-4610-9533","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, Manchester, U.K","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024837627","display_name":"Al Tariq Sheik","orcid":"https://orcid.org/0000-0002-6701-3354"},"institutions":[{"id":"https://openalex.org/I39555362","display_name":"University of Warwick","ror":"https://ror.org/01a77tt86","country_code":"GB","type":"education","lineage":["https://openalex.org/I39555362"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Al Tariq Sheik","raw_affiliation_strings":["WMG, University of Warwick, Coventry, U.K"],"raw_orcid":"https://orcid.org/0000-0002-6701-3354","affiliations":[{"raw_affiliation_string":"WMG, University of Warwick, Coventry, U.K","institution_ids":["https://openalex.org/I39555362"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025149714","display_name":"Hu Yuan","orcid":"https://orcid.org/0000-0001-9833-5930"},"institutions":[{"id":"https://openalex.org/I205051169","display_name":"Kingston University","ror":"https://ror.org/05bbqza97","country_code":"GB","type":"education","lineage":["https://openalex.org/I205051169"]},{"id":"https://openalex.org/I4210154901","display_name":"Kingston University","ror":"https://ror.org/0517ce304","country_code":"US","type":"education","lineage":["https://openalex.org/I4210154901"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Hu Yuan","raw_affiliation_strings":["School of Computer Science, Mathematics, Kingston University, London, U.K","School of Computer Science and Mathematics, Kingston University, London, U.K"],"raw_orcid":"https://orcid.org/0000-0001-9833-5930","affiliations":[{"raw_affiliation_string":"School of Computer Science, Mathematics, Kingston University, London, U.K","institution_ids":["https://openalex.org/I205051169","https://openalex.org/I4210154901"]},{"raw_affiliation_string":"School of Computer Science and Mathematics, Kingston University, London, U.K","institution_ids":["https://openalex.org/I205051169","https://openalex.org/I4210154901"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080175512","display_name":"Carsten Maple","orcid":"https://orcid.org/0000-0002-4715-212X"},"institutions":[{"id":"https://openalex.org/I39555362","display_name":"University of Warwick","ror":"https://ror.org/01a77tt86","country_code":"GB","type":"education","lineage":["https://openalex.org/I39555362"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Carsten Maple","raw_affiliation_strings":["WMG, University of Warwick, Coventry, U.K"],"raw_orcid":"https://orcid.org/0000-0002-4715-212X","affiliations":[{"raw_affiliation_string":"WMG, University of Warwick, Coventry, U.K","institution_ids":["https://openalex.org/I39555362"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8636,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.78322957,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"21","issue":"4","first_page":"4048","last_page":"4065"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/promela","display_name":"Promela","score":0.9017199277877808},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8175349235534668},{"id":"https://openalex.org/keywords/stride","display_name":"STRIDE","score":0.6376702785491943},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5858327746391296},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5817546844482422},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5411481261253357},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5380513072013855},{"id":"https://openalex.org/keywords/security-testing","display_name":"Security testing","score":0.5320383310317993},{"id":"https://openalex.org/keywords/threat-model","display_name":"Threat model","score":0.5078020691871643},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.4743947982788086},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.45554155111312866},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.4206518828868866},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.41641443967819214},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.2899305522441864},{"id":"https://openalex.org/keywords/security-information-and-event-management","display_name":"Security information and event management","score":0.2722208499908447},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.20194214582443237},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.18826845288276672},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15361323952674866},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1431310772895813}],"concepts":[{"id":"https://openalex.org/C2776329536","wikidata":"https://www.wikidata.org/wiki/Q948666","display_name":"Promela","level":3,"score":0.9017199277877808},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8175349235534668},{"id":"https://openalex.org/C18007350","wikidata":"https://www.wikidata.org/wiki/Q7394815","display_name":"STRIDE","level":2,"score":0.6376702785491943},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5858327746391296},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5817546844482422},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5411481261253357},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5380513072013855},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.5320383310317993},{"id":"https://openalex.org/C140547941","wikidata":"https://www.wikidata.org/wiki/Q7797194","display_name":"Threat model","level":2,"score":0.5078020691871643},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.4743947982788086},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.45554155111312866},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.4206518828868866},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.41641443967819214},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.2899305522441864},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.2722208499908447},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.20194214582443237},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.18826845288276672},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15361323952674866},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1431310772895813},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/tdsc.2023.3345543","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2023.3345543","pdf_url":"https://ieeexplore.ieee.org/ielx7/8858/4358699/10368348.pdf","source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/7659bed0-c4c0-41a1-86a4-c3cd1d1e3f0c","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/7659bed0-c4c0-41a1-86a4-c3cd1d1e3f0c","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Farrell, M, Bradbury, M, Cardoso, R C, Fisher, M, Dennis, L A, Dixon, C, Sheik, A T, Hu, Y & Maple, C 2023, '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","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:eprints.lancs.ac.uk:211812","is_oa":true,"landing_page_url":"https://eprints.lancs.ac.uk/id/eprint/211812/9/","pdf_url":"https://eprints.lancs.ac.uk/id/eprint/211812/18/SecurityMindedVerification-3.pdf","source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal Article"},{"id":"pmh:oai:aura.abdn.ac.uk:2164/23926","is_oa":false,"landing_page_url":"https://hdl.handle.net/2164/23926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400966","display_name":"Aberdeen University Research Archive (Aberdeen University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I195460627","host_organization_name":"University of Aberdeen","host_organization_lineage":["https://openalex.org/I195460627"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal article"},{"id":"pmh:oai:eprints.kingston.ac.uk:54574","is_oa":false,"landing_page_url":"https://eprints.kingston.ac.uk/id/eprint/54574/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1109/tdsc.2023.3345543","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2023.3345543","pdf_url":"https://ieeexplore.ieee.org/ielx7/8858/4358699/10368348.pdf","source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5600000023841858,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2576528220","display_name":null,"funder_award_id":"EP/R026092","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4223508424","display_name":null,"funder_award_id":"EP/V026801/2","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4336396751","display_name":null,"funder_award_id":"EP/V026801","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4618151952","display_name":null,"funder_award_id":"EP/V026763/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G7282611729","display_name":null,"funder_award_id":"EP/R007195/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8079345471","display_name":null,"funder_award_id":"EP/N02298X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390075297.pdf","grobid_xml":"https://content.openalex.org/works/W4390075297.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W1480909796","https://openalex.org/W1490907850","https://openalex.org/W1538836445","https://openalex.org/W1606177908","https://openalex.org/W1608490958","https://openalex.org/W1698657309","https://openalex.org/W1859458367","https://openalex.org/W1926889714","https://openalex.org/W1927383947","https://openalex.org/W1971754902","https://openalex.org/W1972505764","https://openalex.org/W1999471703","https://openalex.org/W2019093111","https://openalex.org/W2023808162","https://openalex.org/W2038814435","https://openalex.org/W2052539228","https://openalex.org/W2062789233","https://openalex.org/W2090551028","https://openalex.org/W2096686131","https://openalex.org/W2114936722","https://openalex.org/W2130427425","https://openalex.org/W2150071393","https://openalex.org/W2164045217","https://openalex.org/W2168237316","https://openalex.org/W2593267253","https://openalex.org/W2602673033","https://openalex.org/W2609793437","https://openalex.org/W2617416222","https://openalex.org/W2794421626","https://openalex.org/W2799378863","https://openalex.org/W2807059453","https://openalex.org/W2811472820","https://openalex.org/W2884989059","https://openalex.org/W2904756156","https://openalex.org/W2925099162","https://openalex.org/W2926412738","https://openalex.org/W2963226893","https://openalex.org/W2972814454","https://openalex.org/W2973204678","https://openalex.org/W2977364565","https://openalex.org/W2991528307","https://openalex.org/W3003290062","https://openalex.org/W3004560738","https://openalex.org/W3101648496","https://openalex.org/W3159101883","https://openalex.org/W3160368460","https://openalex.org/W3209004540","https://openalex.org/W3210578702","https://openalex.org/W4387211446","https://openalex.org/W6634859811","https://openalex.org/W6795048851"],"related_works":["https://openalex.org/W1909163279","https://openalex.org/W2152250926","https://openalex.org/W2149980319","https://openalex.org/W896362041","https://openalex.org/W2104846611","https://openalex.org/W1997945073","https://openalex.org/W2153773513","https://openalex.org/W4390075297","https://openalex.org/W2940646603","https://openalex.org/W2016137034"],"abstract_inverted_index":{"Autonomous":[0],"robotic":[1],"systems":[2,3,55],"are":[4,178],"both":[5,189],"safety-":[6],"and":[7,30,37,47,60,141,155,157,181,185,191],"security-critical,":[8],"since":[9],"a":[10,145],"breach":[11],"in":[12,94,187],"system":[13,29,70],"security":[14,51,132,175,186],"may":[15,56],"impact":[16],"safety.":[17],"In":[18,78],"such":[19,54],"critical":[20],"systems,":[21],"formal":[22,148],"verification":[23,59,105,171],"is":[24,43],"used":[25,44,88],"to":[26,45,89,168,182],"model":[27],"the":[28,49,64,69],"verify":[31],"that":[32,53,68,83,177],"it":[33],"obeys":[34],"specific":[35],"functional":[36],"safety":[38,184],"properties.":[39],"Independently,":[40],"threat":[41,61],"modelling":[42],"analyse":[46,115],"manage":[48],"cyber":[50],"threats":[52],"encounter.":[57],"Both":[58],"analysis":[62,127],"serve":[63],"purpose":[65],"of":[66,147],"ensuring":[67],"will":[71],"be":[72,87,139],"reliable,":[73],"albeit":[74],"from":[75],"differing":[76],"perspectives.":[77],"prior":[79],"work,":[80],"we":[81,97,114],"argued":[82],"these":[84,137],"analyses":[85],"should":[86],"inform":[90],"one":[91],"another":[92],"and,":[93],"this":[95],"paper,":[96],"extend":[98],"our":[99,112,170],"previously":[100],"defined":[101],"methodology":[102],"for":[103,118,150,161],"security-minded":[104],"by":[106],"incorporating":[107],"runtime":[108,159],"verification.":[109,163],"To":[110],"illustrate":[111],"approach,":[113],"an":[116],"algorithm":[117],"sending":[119],"Cooperative":[120],"Awareness":[121],"Messages":[122],"between":[123],"autonomous":[124],"vehicles.":[125],"Our":[126,164],"centres":[128],"on":[129,173],"identifying":[130],"STRIDE":[131],"threats.":[133],"We":[134],"show":[135],"how":[136],"can":[138],"formalised,":[140],"subsequently":[142],"verified,":[143],"using":[144],"combination":[146],"tools":[149],"static":[151],"aspects,":[152],"namely":[153],"Promela/SPIN":[154],"Dafny,":[156],"generate":[158],"monitors":[160],"dynamic":[162],"approach":[165],"allows":[166],"us":[167],"focus":[169],"effort":[172],"those":[174],"properties":[176],"particularly":[179],"important":[180],"consider":[183],"tandem,":[188],"statically":[190],"at":[192],"runtime.":[193]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}