{"id":"https://openalex.org/W4412446431","doi":"https://doi.org/10.1109/eurocon64445.2025.11073303","title":"Formal Model of Energy System using Attack Trees","display_name":"Formal Model of Energy System using Attack Trees","publication_year":2025,"publication_date":"2025-06-04","ids":{"openalex":"https://openalex.org/W4412446431","doi":"https://doi.org/10.1109/eurocon64445.2025.11073303"},"language":"en","primary_location":{"id":"doi:10.1109/eurocon64445.2025.11073303","is_oa":false,"landing_page_url":"https://doi.org/10.1109/eurocon64445.2025.11073303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE EUROCON 2025 - 21st International Conference on Smart Technologies","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/A5049474170","display_name":"Aliyu Tanko Ali","orcid":"https://orcid.org/0000-0003-3841-2054"},"institutions":[{"id":"https://openalex.org/I4210104073","display_name":"Becker Technologies (Germany)","ror":"https://ror.org/01hv3m305","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210104073"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Aliyu Tanko Ali","raw_affiliation_strings":["ISP University zu Lübeck,Lübeck,Germany"],"affiliations":[{"raw_affiliation_string":"ISP University zu Lübeck,Lübeck,Germany","institution_ids":["https://openalex.org/I4210104073"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050565404","display_name":"Damas P. Gruska","orcid":"https://orcid.org/0000-0002-8517-4688"},"institutions":[{"id":"https://openalex.org/I74788687","display_name":"Comenius University Bratislava","ror":"https://ror.org/0587ef340","country_code":"SK","type":"education","lineage":["https://openalex.org/I74788687"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Damas Gruska","raw_affiliation_strings":["DAI, FMFI Comenius University in Bratislava,Bratislava,Slovakia"],"affiliations":[{"raw_affiliation_string":"DAI, FMFI Comenius University in Bratislava,Bratislava,Slovakia","institution_ids":["https://openalex.org/I74788687"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002397514","display_name":"Martin Leucker","orcid":"https://orcid.org/0000-0002-3696-9222"},"institutions":[{"id":"https://openalex.org/I4210104073","display_name":"Becker Technologies (Germany)","ror":"https://ror.org/01hv3m305","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210104073"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Leucker","raw_affiliation_strings":["ISP University zu Lübeck,Lübeck,Germany"],"affiliations":[{"raw_affiliation_string":"ISP University zu Lübeck,Lübeck,Germany","institution_ids":["https://openalex.org/I4210104073"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049474170"],"corresponding_institution_ids":["https://openalex.org/I4210104073"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25036721,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9965000152587891,"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"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9965000152587891,"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/T10768","display_name":"Electric Vehicles and Infrastructure","score":0.951200008392334,"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/T11185","display_name":"Integrated Energy Systems Optimization","score":0.9271000027656555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6285164952278137}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6285164952278137}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/eurocon64445.2025.11073303","is_oa":false,"landing_page_url":"https://doi.org/10.1109/eurocon64445.2025.11073303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE EUROCON 2025 - 21st International Conference on Smart Technologies","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8399999737739563,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320311649","display_name":"Ministry of Education","ror":"https://ror.org/036nq5137"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1965560740","https://openalex.org/W2001289891","https://openalex.org/W2036597111","https://openalex.org/W2054368547","https://openalex.org/W2067521399","https://openalex.org/W2142871505","https://openalex.org/W2226396244","https://openalex.org/W2784057179","https://openalex.org/W2913779286","https://openalex.org/W2955840393","https://openalex.org/W3013042483","https://openalex.org/W3214750669","https://openalex.org/W4214883294","https://openalex.org/W4283012892","https://openalex.org/W4404919624","https://openalex.org/W6775439921","https://openalex.org/W6812742317"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"As":[0],"renewable":[1],"energy":[2,60,96,120,140,153],"adoption":[3],"accelerates,":[4],"large":[5],"institutions":[6,26],"such":[7,50],"as":[8,51],"universities":[9],"have":[10],"the":[11,86,114,124,146,151,156],"potential":[12],"to":[13,91,112],"become":[14],"key":[15],"players":[16],"in":[17,109],"solar":[18,36,77,158],"power":[19],"generation.":[20,78],"With":[21],"expansive,":[22],"underutilized":[23],"rooftops,":[24],"these":[25,81],"can":[27],"produce":[28],"significant":[29],"amounts":[30],"of":[31,47,75,88,118,126,149],"clean":[32],"energy.":[33],"However,":[34],"aligning":[35],"generation":[37,159],"with":[38,129],"consumption":[39,132,154],"patterns":[40],"remains":[41],"a":[42,104],"challenge,":[43],"particularly":[44,62],"during":[45,73],"periods":[46,74],"low":[48,76],"demand,":[49],"summer":[52],"breaks.":[53],"A":[54],"major":[55],"concern":[56],"is":[57],"ensuring":[58],"efficient":[59],"use,":[61],"for":[63,138,145],"both":[64],"manageable":[65],"and":[66,94,116,131],"unmanageable":[67],"loads,":[68],"while":[69],"minimizing":[70],"grid":[71],"dependency":[72],"To":[79],"address":[80],"challenges,":[82],"this":[83],"paper":[84],"explores":[85],"use":[87],"formal":[89],"models":[90],"design,":[92],"evolve,":[93],"verify":[95],"management":[97],"systems.":[98],"Specifically,":[99],"we":[100,134],"employ":[101],"Attack":[102],"Trees,":[103],"graphical":[105],"formalism":[106],"traditionally":[107],"used":[108],"security":[110],"modeling,":[111],"represent":[113],"structure":[115],"dynamics":[117],"institutional":[119],"loads.":[121,141],"By":[122],"extending":[123],"nodes":[125],"attack":[127],"trees":[128],"production":[130],"attributes,":[133],"enable":[135],"their":[136],"reuse":[137],"describing":[139],"This":[142],"approach":[143],"allows":[144],"automatic":[147],"verification":[148],"whether":[150],"overall":[152],"exceeds":[155],"total":[157],"at":[160],"any":[161],"given":[162],"time.":[163]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}