{"id":"https://openalex.org/W3091176908","doi":"https://doi.org/10.1109/ijcnn48605.2020.9206825","title":"Identify Potential Attacks from Simulated Log Analysis","display_name":"Identify Potential Attacks from Simulated Log Analysis","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3091176908","doi":"https://doi.org/10.1109/ijcnn48605.2020.9206825","mag":"3091176908"},"language":"en","primary_location":{"id":"doi:10.1109/ijcnn48605.2020.9206825","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn48605.2020.9206825","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 International Joint Conference on Neural Networks (IJCNN)","raw_type":"proceedings-article"},"type":"article","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/A5065265267","display_name":"Cinzia Bernardeschi","orcid":"https://orcid.org/0000-0003-1604-4465"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Cinzia Bernardeschi","raw_affiliation_strings":["Department of Information Engineering, University of Pisa, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090546515","display_name":"Andrea Domenici","orcid":"https://orcid.org/0000-0003-0685-2864"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Domenici","raw_affiliation_strings":["Department of Information Engineering, University of Pisa, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023695406","display_name":"Francesco Mercaldo","orcid":"https://orcid.org/0000-0002-9425-1657"},"institutions":[{"id":"https://openalex.org/I4210130157","display_name":"Institute of Informatics and Telematics","ror":"https://ror.org/02gdcn153","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"funder","lineage":["https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Mercaldo","raw_affiliation_strings":["Department of Medicine and Health Sciences \u201cVincenzo Tiberio\u201d, University of Molise, Campobasso, Italy","Institute for Informatics and Telematics, National Research Council of Italy (CNR), Pisa, Italy","Department of Medicine and Health Sciences \"Vincenzo Tiberio\", University of Molise, Campobasso, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Medicine and Health Sciences \u201cVincenzo Tiberio\u201d, University of Molise, Campobasso, Italy","institution_ids":["https://openalex.org/I129627893"]},{"raw_affiliation_string":"Institute for Informatics and Telematics, National Research Council of Italy (CNR), Pisa, Italy","institution_ids":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]},{"raw_affiliation_string":"Department of Medicine and Health Sciences \"Vincenzo Tiberio\", University of Molise, Campobasso, Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004599844","display_name":"Antonella Santone","orcid":"https://orcid.org/0000-0002-2634-4456"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonella Santone","raw_affiliation_strings":["Department of Biosciences and Territory, University of Molise, Pesche, IS, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Pesche, IS, Italy","institution_ids":["https://openalex.org/I129627893"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5065265267"],"corresponding_institution_ids":["https://openalex.org/I108290504"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.09177864,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"1996","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.9998000264167786,"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.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9854000210762024,"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/computer-science","display_name":"Computer science","score":0.782584547996521},{"id":"https://openalex.org/keywords/cruise-control","display_name":"Cruise control","score":0.6631731986999512},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.6325610280036926},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5306540727615356},{"id":"https://openalex.org/keywords/cruise","display_name":"Cruise","score":0.49540507793426514},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.48639920353889465},{"id":"https://openalex.org/keywords/can-bus","display_name":"CAN bus","score":0.475882887840271},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4452108144760132},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.43580421805381775},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.32978367805480957},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3255586624145508},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.29255741834640503},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.1712263822555542},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15103915333747864},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11535018682479858},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1120733916759491}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.782584547996521},{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.6631731986999512},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.6325610280036926},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5306540727615356},{"id":"https://openalex.org/C2778821358","wikidata":"https://www.wikidata.org/wiki/Q2063640","display_name":"Cruise","level":2,"score":0.49540507793426514},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.48639920353889465},{"id":"https://openalex.org/C201762086","wikidata":"https://www.wikidata.org/wiki/Q728183","display_name":"CAN bus","level":2,"score":0.475882887840271},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4452108144760132},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.43580421805381775},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.32978367805480957},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3255586624145508},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.29255741834640503},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.1712263822555542},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15103915333747864},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11535018682479858},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1120733916759491},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ijcnn48605.2020.9206825","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn48605.2020.9206825","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 International Joint Conference on Neural Networks (IJCNN)","raw_type":"proceedings-article"},{"id":"pmh:oai:arpi.unipi.it:11568/1078740","is_oa":false,"landing_page_url":"https://hdl.handle.net/11568/1078740","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8500000238418579,"display_name":"Life below water","id":"https://metadata.un.org/sdg/14"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W87635799","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1507985299","https://openalex.org/W1842222660","https://openalex.org/W1969799745","https://openalex.org/W1993180463","https://openalex.org/W2015640848","https://openalex.org/W2021149283","https://openalex.org/W2116520617","https://openalex.org/W2132999258","https://openalex.org/W2147510259","https://openalex.org/W2150778805","https://openalex.org/W2164033372","https://openalex.org/W2340735175","https://openalex.org/W2561208905","https://openalex.org/W2565240582","https://openalex.org/W2606851531","https://openalex.org/W2606961542","https://openalex.org/W2739829439","https://openalex.org/W2746620120","https://openalex.org/W2764360978","https://openalex.org/W2781765535","https://openalex.org/W2793700555","https://openalex.org/W2801305544","https://openalex.org/W2805821055","https://openalex.org/W2888611496","https://openalex.org/W2921550495","https://openalex.org/W2970581089","https://openalex.org/W3023191323","https://openalex.org/W3140914175","https://openalex.org/W6603557143","https://openalex.org/W6630526294","https://openalex.org/W6682768533","https://openalex.org/W6741861639","https://openalex.org/W6767444964"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W2550448639","https://openalex.org/W1964135497"],"abstract_inverted_index":{"Modern":[0],"vehicles":[1],"contain":[2],"an":[3],"ecosystem":[4],"of":[5,30,64,94],"several":[6],"electronic":[7],"units":[8],"able":[9],"to":[10,40,52,78,106,110],"exchange":[11],"data":[12],"using":[13],"the":[14,19,35,38,62,81,87,98],"serial":[15],"communication":[16],"provided":[17],"by":[18,27],"CAN":[20],"bus.":[21],"This":[22],"protocol":[23],"can":[24,33],"be":[25],"afflicted":[26],"a":[28,50,65,69,74,92,102],"plethora":[29],"attacks":[31,55],"that":[32],"expose":[34],"driver":[36],"and":[37,71],"passengers":[39],"risks":[41],"for":[42],"their":[43],"safety.":[44],"In":[45],"this":[46],"paper":[47],"we":[48,72,84,96],"propose":[49],"method":[51,100],"detect":[53],"potential":[54],"in":[56,101],"automotive":[57],"networks.":[58],"We":[59],"start":[60],"from":[61,68,86],"analysis":[63],"log":[66,88],"obtained":[67],"simulation":[70],"consider":[73],"formal":[75,82],"verification":[76],"environment":[77],"verify":[79],"whether":[80],"model":[83],"built":[85],"is":[89],"safe.":[90],"As":[91],"proof":[93],"concept,":[95],"evaluate":[97],"proposed":[99],"case":[103],"study":[104],"related":[105],"adaptive":[107],"cruise":[108],"control,":[109],"preliminarily":[111],"demonstrate":[112],"its":[113],"effectiveness.":[114]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}