{"id":"https://openalex.org/W3039235777","doi":"https://doi.org/10.1109/vtc2020-spring48590.2020.9129076","title":"A Simultaneous Attack Scenario Generation Method Using the Parallel Behavior Model","display_name":"A Simultaneous Attack Scenario Generation Method Using the Parallel Behavior Model","publication_year":2020,"publication_date":"2020-05-01","ids":{"openalex":"https://openalex.org/W3039235777","doi":"https://doi.org/10.1109/vtc2020-spring48590.2020.9129076","mag":"3039235777"},"language":"en","primary_location":{"id":"doi:10.1109/vtc2020-spring48590.2020.9129076","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vtc2020-spring48590.2020.9129076","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring)","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/A5013352057","display_name":"Toshiyuki Fujikura","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Toshiyuki Fujikura","raw_affiliation_strings":["dSPACE Japan, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"dSPACE Japan, Tokyo, Japan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022179648","display_name":"Ryo Kurachi","orcid":"https://orcid.org/0000-0002-8565-5799"},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryo Kurachi","raw_affiliation_strings":["Nagoya University, Nagoya, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nagoya University, Nagoya, Japan","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0853222,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994000196456909,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/computer-science","display_name":"Computer science","score":0.7458279728889465},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.6357460021972656},{"id":"https://openalex.org/keywords/hazardous-waste","display_name":"Hazardous waste","score":0.5666143894195557},{"id":"https://openalex.org/keywords/hazard","display_name":"Hazard","score":0.5523232221603394},{"id":"https://openalex.org/keywords/scenario-testing","display_name":"Scenario testing","score":0.5503036379814148},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4736567437648773},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44573450088500977},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41871827840805054},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4129071831703186},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17437458038330078},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16328173875808716},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08283844590187073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7458279728889465},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.6357460021972656},{"id":"https://openalex.org/C22507642","wikidata":"https://www.wikidata.org/wiki/Q1069369","display_name":"Hazardous waste","level":2,"score":0.5666143894195557},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.5523232221603394},{"id":"https://openalex.org/C80519477","wikidata":"https://www.wikidata.org/wiki/Q3532236","display_name":"Scenario testing","level":3,"score":0.5503036379814148},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4736567437648773},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44573450088500977},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41871827840805054},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4129071831703186},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17437458038330078},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16328173875808716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08283844590187073},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vtc2020-spring48590.2020.9129076","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vtc2020-spring48590.2020.9129076","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W18112494","https://openalex.org/W80595451","https://openalex.org/W1488202922","https://openalex.org/W1524764420","https://openalex.org/W1830954042","https://openalex.org/W1975935536","https://openalex.org/W2094575296","https://openalex.org/W2129289644","https://openalex.org/W2176300081","https://openalex.org/W2795512198","https://openalex.org/W2909463035","https://openalex.org/W2943847575","https://openalex.org/W2944478876","https://openalex.org/W2944774797","https://openalex.org/W2950069051","https://openalex.org/W2980021772","https://openalex.org/W2985319612","https://openalex.org/W2999772239","https://openalex.org/W4210886820","https://openalex.org/W4235545194"],"related_works":["https://openalex.org/W2005176430","https://openalex.org/W4309227563","https://openalex.org/W1567814420","https://openalex.org/W2947911386","https://openalex.org/W2125022076","https://openalex.org/W3185403326","https://openalex.org/W2964728696","https://openalex.org/W4288411761","https://openalex.org/W2347378298","https://openalex.org/W58987432"],"abstract_inverted_index":{"To":[0],"achieve":[1,130],"high":[2,131],"traceability":[3],"from":[4,53,60,150],"requirements":[5],"to":[6,30,68,97,129,135,158],"test":[7,10,33,49,94,115],"scenarios,":[8],"a":[9,48,61,78,85,98,143],"scenario":[11,50,71],"generation":[12,51],"method":[13,52,141,146],"has":[14],"been":[15],"widely":[16],"recognized":[17],"as":[18,81],"being":[19],"an":[20],"integral":[21],"aspect":[22],"of":[23,84],"model-based":[24],"development.":[25],"However,":[26,154],"it":[27,155],"is":[28,66,117,156],"difficult":[29],"make":[31],"effective":[32],"scenarios":[34,95,116],"that":[35,72],"have":[36],"sufficient":[37],"requirement":[38,132,166],"coverage":[39,133],"including":[40],"hazardous":[41,74,79,99],"conditions.":[42],"In":[43],"this":[44,64],"study,":[45],"we":[46],"propose":[47],"formalized":[54],"functional":[55],"requirements.":[56],"Based":[57],"on":[58],"results":[59,125],"hazard":[62],"analysis,":[63],"technique":[65,110],"able":[67,157],"generate":[69],"the":[70,82,120,127,136,151,164],"reveals":[73],"situations":[75],"by":[76,88,101,162],"specifying":[77,169],"state":[80,100,152],"end-state":[83],"scenario.":[86],"Furthermore,":[87],"modeling":[89,163],"attack":[90,114],"targets":[91],"and":[92,147,168],"methods,":[93],"leading":[96],"malicious":[102],"simultaneous":[103,113],"external":[104],"attacks":[105],"are":[106],"generated.":[107],"A":[108],"parallelization":[109],"for":[111],"generating":[112],"shown.":[118],"Using":[119],"exhaustive":[121],"path-finding":[122],"approach,":[123],"our":[124],"show":[126],"ability":[128],"compared":[134],"existing":[137],"approaches.":[138],"The":[139],"proposed":[140],"uses":[142],"model":[144],"checking":[145],"cannot":[148],"escape":[149],"explosion.":[153],"reach":[159],"real":[160],"problems":[161],"highly-abstract":[165],"areas":[167],"partial":[170],"scenarios.":[171]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}