{"id":"https://openalex.org/W2009220606","doi":"https://doi.org/10.1145/2744769.2747920","title":"Design and verification for transportation system security","display_name":"Design and verification for transportation system security","publication_year":2015,"publication_date":"2015-06-02","ids":{"openalex":"https://openalex.org/W2009220606","doi":"https://doi.org/10.1145/2744769.2747920","mag":"2009220606"},"language":"en","primary_location":{"id":"doi:10.1145/2744769.2747920","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2744769.2747920","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020708321","display_name":"Bowen Zheng","orcid":"https://orcid.org/0009-0003-0352-8257"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bowen Zheng","raw_affiliation_strings":["University of California at Riverside, Riverside, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Riverside, Riverside, CA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100381719","display_name":"Wenchao Li","orcid":"https://orcid.org/0000-0001-8926-5539"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wenchao Li","raw_affiliation_strings":["SRI International, Menlo Park, CA","SRI-International, Menlo Park, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI-International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026542501","display_name":"Peng Deng","orcid":"https://orcid.org/0000-0002-9345-0005"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peng Deng","raw_affiliation_strings":["University of California at Riverside, Riverside, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Riverside, Riverside, CA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086719475","display_name":"L\u00e9onard G\u00e9rard","orcid":null},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L\u00e9onard G\u00e9rard","raw_affiliation_strings":["SRI International, Menlo Park, CA","SRI-International, Menlo Park, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI-International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020896290","display_name":"Qi Zhu","orcid":"https://orcid.org/0000-0002-7700-4099"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qi Zhu","raw_affiliation_strings":["University of California at Riverside, Riverside, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Riverside, Riverside, CA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103207172","display_name":"Natarajan Shankar","orcid":"https://orcid.org/0000-0002-8652-8871"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Natarajan Shankar","raw_affiliation_strings":["SRI International, Menlo Park, CA","SRI-International, Menlo Park, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI-International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.3455,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.97009435,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9763000011444092,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cruise-control","display_name":"Cruise control","score":0.7009439468383789},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.648356556892395},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6361703872680664},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5799046754837036},{"id":"https://openalex.org/keywords/intelligent-transportation-system","display_name":"Intelligent transportation system","score":0.5549086332321167},{"id":"https://openalex.org/keywords/vehicular-communication-systems","display_name":"Vehicular communication systems","score":0.46968868374824524},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4537520706653595},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.4165189564228058},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4065846800804138},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3465691804885864},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.34536871314048767},{"id":"https://openalex.org/keywords/vehicular-ad-hoc-network","display_name":"Vehicular ad hoc network","score":0.2344146966934204},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.20987901091575623},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.18308302760124207},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1714075207710266},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.14508554339408875},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10670831799507141}],"concepts":[{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.7009439468383789},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.648356556892395},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6361703872680664},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5799046754837036},{"id":"https://openalex.org/C47796450","wikidata":"https://www.wikidata.org/wiki/Q508378","display_name":"Intelligent transportation system","level":2,"score":0.5549086332321167},{"id":"https://openalex.org/C30095986","wikidata":"https://www.wikidata.org/wiki/Q1035238","display_name":"Vehicular communication systems","level":5,"score":0.46968868374824524},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4537520706653595},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.4165189564228058},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4065846800804138},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3465691804885864},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.34536871314048767},{"id":"https://openalex.org/C192448918","wikidata":"https://www.wikidata.org/wiki/Q682677","display_name":"Vehicular ad hoc network","level":4,"score":0.2344146966934204},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.20987901091575623},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.18308302760124207},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1714075207710266},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.14508554339408875},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10670831799507141},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2744769.2747920","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2744769.2747920","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6100000143051147,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2602385854","display_name":null,"funder_award_id":"N00014-14-1-0815 and N00014-14-1-0816","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5154499933","display_name":null,"funder_award_id":"FA8750-12-C-0284","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8584066718","display_name":"TC: Small: Anchoring Trust with a Verified Reference Kernel","funder_award_id":"0917375","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8714900223","display_name":null,"funder_award_id":"NRA NNA13AC55C","funder_id":"https://openalex.org/F4320306101","funder_display_name":"National Aeronautics and Space Administration"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W87635799","https://openalex.org/W133259797","https://openalex.org/W171481251","https://openalex.org/W187947990","https://openalex.org/W1128447031","https://openalex.org/W1517793941","https://openalex.org/W1534850143","https://openalex.org/W1535116423","https://openalex.org/W1543036588","https://openalex.org/W1606860058","https://openalex.org/W1629374427","https://openalex.org/W1820520365","https://openalex.org/W1977444293","https://openalex.org/W1978666674","https://openalex.org/W1982630469","https://openalex.org/W1985719683","https://openalex.org/W1992237252","https://openalex.org/W1992900191","https://openalex.org/W1998878072","https://openalex.org/W2005891720","https://openalex.org/W2017213820","https://openalex.org/W2018209358","https://openalex.org/W2018485795","https://openalex.org/W2021149283","https://openalex.org/W2023835067","https://openalex.org/W2045537608","https://openalex.org/W2047994221","https://openalex.org/W2072705087","https://openalex.org/W2080373251","https://openalex.org/W2085685015","https://openalex.org/W2089266152","https://openalex.org/W2107872611","https://openalex.org/W2112004167","https://openalex.org/W2116520617","https://openalex.org/W2121247918","https://openalex.org/W2124723444","https://openalex.org/W2132479764","https://openalex.org/W2133854595","https://openalex.org/W2137505842","https://openalex.org/W2145286644","https://openalex.org/W2147510259","https://openalex.org/W2148400130","https://openalex.org/W2149254819","https://openalex.org/W2159584786","https://openalex.org/W2159722752","https://openalex.org/W2160262526","https://openalex.org/W2161772110","https://openalex.org/W2161829622","https://openalex.org/W2166668397","https://openalex.org/W2184581039","https://openalex.org/W2350778671","https://openalex.org/W2524044976","https://openalex.org/W2538768042","https://openalex.org/W2998917854","https://openalex.org/W4236590519","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1547686980","https://openalex.org/W4401511381","https://openalex.org/W2096310934","https://openalex.org/W2735344741","https://openalex.org/W4285211764","https://openalex.org/W623711359","https://openalex.org/W3134227412","https://openalex.org/W2971759793","https://openalex.org/W2944216713","https://openalex.org/W1977894403"],"abstract_inverted_index":{"Cyber-security":[0],"has":[1],"emerged":[2],"as":[3],"a":[4,20,126],"pressing":[5],"issue":[6],"for":[7,94],"transportation":[8,56,101],"systems.":[9],"Studies":[10],"have":[11],"shown":[12],"that":[13,61,84],"attackers":[14],"can":[15],"attack":[16],"modern":[17],"vehicles":[18],"from":[19],"variety":[21],"of":[22,43,64,100,109,122,129],"interfaces":[23],"and":[24,37,46,71,90,98,103,115],"gain":[25],"access":[26],"to":[27],"the":[28,41,52,96,120],"most":[29],"safety-critical":[30],"components.":[31],"Such":[32],"threats":[33],"become":[34],"even":[35],"broader":[36],"more":[38],"challenging":[39],"with":[40],"emergence":[42],"vehicle-to-vehicle":[44,116],"(V2V)":[45],"vehicle-to-infrastructure":[47],"(V2I)":[48],"communication":[49],"technologies.":[50],"Addressing":[51],"security":[53,65,97],"issues":[54],"in":[55],"systems":[57,102,114],"requires":[58],"comprehensive":[59],"approaches":[60],"encompass":[62],"considerations":[63],"mechanisms,":[66],"safety":[67,99],"properties,":[68],"resource":[69],"constraints,":[70],"other":[72],"related":[73],"system":[74],"metrics.":[75],"In":[76],"this":[77],"work,":[78],"we":[79],"propose":[80],"an":[81],"integrated":[82],"framework":[83,124],"combines":[85],"hybrid":[86],"modeling,":[87],"formal":[88],"verification,":[89],"automated":[91],"synthesis":[92],"techniques":[93],"analyzing":[95],"carrying":[104],"out":[105],"design":[106],"space":[107],"exploration":[108],"both":[110],"in-vehicle":[111],"electronic":[112],"control":[113],"communications.":[117],"We":[118],"demonstrate":[119],"ideas":[121],"our":[123],"through":[125],"case":[127],"study":[128],"cooperative":[130],"adaptive":[131],"cruise":[132],"control.":[133]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}