{"id":"https://openalex.org/W2054348259","doi":"https://doi.org/10.1145/2516930.2516934","title":"Toward a cyber-physical topology language","display_name":"Toward a cyber-physical topology language","publication_year":2013,"publication_date":"2013-11-08","ids":{"openalex":"https://openalex.org/W2054348259","doi":"https://doi.org/10.1145/2516930.2516934","mag":"2054348259"},"language":"en","primary_location":{"id":"doi:10.1145/2516930.2516934","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2516930.2516934","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the first ACM workshop on Smart energy grid security","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/A5006893497","display_name":"Gabriel A. Weaver","orcid":"https://orcid.org/0000-0002-2622-1894"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gabriel A. Weaver","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016592996","display_name":"Carmen Cheh","orcid":"https://orcid.org/0000-0002-8510-7274"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carmen Cheh","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063162054","display_name":"Edmond Rogers","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edmond J. Rogers","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074285069","display_name":"William H. Sanders","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William H. Sanders","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074905409","display_name":"Dennis Gammel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dennis Gammel","raw_affiliation_strings":["Schweitzer Engineering Laboratories, Pullman, WA, USA"],"affiliations":[{"raw_affiliation_string":"Schweitzer Engineering Laboratories, Pullman, WA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5006893497"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":1.8123,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.86923561,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"104"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9958999752998352,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9957000017166138,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.7352064847946167},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6973036527633667},{"id":"https://openalex.org/keywords/critical-infrastructure-protection","display_name":"Critical infrastructure protection","score":0.66154545545578},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6554557681083679},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.5569825172424316},{"id":"https://openalex.org/keywords/vulnerability-assessment","display_name":"Vulnerability assessment","score":0.5105587244033813},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5014011859893799},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.498154878616333},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.48787546157836914},{"id":"https://openalex.org/keywords/critical-infrastructure","display_name":"Critical infrastructure","score":0.4832080602645874},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.34815675020217896},{"id":"https://openalex.org/keywords/accounting","display_name":"Accounting","score":0.14536809921264648},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.10387128591537476}],"concepts":[{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.7352064847946167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6973036527633667},{"id":"https://openalex.org/C2779033394","wikidata":"https://www.wikidata.org/wiki/Q5186733","display_name":"Critical infrastructure protection","level":3,"score":0.66154545545578},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6554557681083679},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.5569825172424316},{"id":"https://openalex.org/C167063184","wikidata":"https://www.wikidata.org/wiki/Q1400839","display_name":"Vulnerability assessment","level":3,"score":0.5105587244033813},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5014011859893799},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.498154878616333},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.48787546157836914},{"id":"https://openalex.org/C29852176","wikidata":"https://www.wikidata.org/wiki/Q373338","display_name":"Critical infrastructure","level":2,"score":0.4832080602645874},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.34815675020217896},{"id":"https://openalex.org/C121955636","wikidata":"https://www.wikidata.org/wiki/Q4116214","display_name":"Accounting","level":1,"score":0.14536809921264648},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.10387128591537476},{"id":"https://openalex.org/C137176749","wikidata":"https://www.wikidata.org/wiki/Q4105337","display_name":"Psychological resilience","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2516930.2516934","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2516930.2516934","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the first ACM workshop on Smart energy grid security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6200000047683716,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W54546249","https://openalex.org/W105330602","https://openalex.org/W127465381","https://openalex.org/W250093252","https://openalex.org/W583444505","https://openalex.org/W1486280163","https://openalex.org/W1533138781","https://openalex.org/W1572663059","https://openalex.org/W1574156540","https://openalex.org/W1707144927","https://openalex.org/W1996960305","https://openalex.org/W2012446724","https://openalex.org/W2034456784","https://openalex.org/W2041321938","https://openalex.org/W2066257528","https://openalex.org/W2074323223","https://openalex.org/W2085560238","https://openalex.org/W2109278577","https://openalex.org/W2130747300","https://openalex.org/W2133382653","https://openalex.org/W2139987497","https://openalex.org/W2148599697","https://openalex.org/W2150623502","https://openalex.org/W2170496240","https://openalex.org/W2171502901","https://openalex.org/W2236523039","https://openalex.org/W2397380956","https://openalex.org/W2488314452","https://openalex.org/W2621932216","https://openalex.org/W2626643089","https://openalex.org/W2726810975","https://openalex.org/W3108205673","https://openalex.org/W4247545505","https://openalex.org/W4300954648","https://openalex.org/W4391166386","https://openalex.org/W6676698813","https://openalex.org/W7066197325"],"related_works":["https://openalex.org/W2034117965","https://openalex.org/W2089917086","https://openalex.org/W3203217271","https://openalex.org/W2380314794","https://openalex.org/W3203035974","https://openalex.org/W3012511600","https://openalex.org/W1985504261","https://openalex.org/W2590902718","https://openalex.org/W2965174119","https://openalex.org/W4383217621"],"abstract_inverted_index":{"Our":[0],"Cyber-Physical":[1],"Topology":[2],"Language":[3],"(CPTL)":[4],"provides":[5],"a":[6,131,148,182,212,259,276],"language":[7,278],"that":[8,139,165,242],"utilities":[9,70,107,206],"can":[10],"use":[11],"to":[12,79,86,90,105,146,173,196,202,237,257,281],"programmatically":[13],"analyze":[14,284],"current":[15,235,250],"and":[16,29,39,89,101,108,111,124,136,178,184,205,208,223,240,249,274,283],"future":[17],"cyber-physical":[18,134,151,267],"architectures.":[19,286],"The":[20,61],"motivation":[21],"for":[22,200],"our":[23],"research":[24,264],"emerged":[25],"from":[26],"the":[27,46,49,75,92,96,115,189,198,228,247],"importance":[28],"limitations":[30,116],"of":[31,48,94,117,129,133,150,181,215,262],"several":[32],"audit":[33,97,119,229],"scenarios:":[34],"account":[35],"management,":[36],"vulnerability":[37,221],"assessment,":[38],"configuration":[40],"management.":[41],"Those":[42],"scenarios":[43,120,230,239],"occur":[44],"in":[45,121,158],"context":[47],"North":[50],"American":[51],"Electric":[52],"Reliability":[53],"Corporation's":[54],"Critical":[55],"Infrastructure":[56],"Protection":[57],"(NERC":[58],"CIP)":[59],"audits.":[60],"NERC":[62],"CIP":[63],"standards":[64,76],"define":[65],"security":[66],"controls":[67],"by":[68,176,269],"which":[69,127,280],"must":[71],"be":[72],"audited.":[73],"Although":[74],"were":[77],"designed":[78],"make":[80],"power":[81],"control":[82],"networks":[83],"less":[84],"vulnerable":[85],"cyber":[87],"attack":[88],"decrease":[91],"chance":[93],"outages,":[95],"process":[98,174],"is":[99],"manual":[100],"costly.":[102],"In":[103,167,194,252],"order":[104,195],"save":[106,203],"auditors":[109,204],"time":[110,207],"money,":[112,209],"we":[113,153,170,210,254],"used":[114],"those":[118,238,285],"formally":[122],"specifying":[123],"implementing":[125],"CPTL,":[126],"consists":[128],"both":[130,246],"representation":[132,157],"assets":[135],"operations":[137,163,187],"upon":[138,164,245],"representation.":[140,166],"First,":[141],"CPTL":[142,161,201,217,243,256],"uses":[143],"graph":[144],"theory":[145],"represent":[147],"network":[149],"assets;":[152],"currently":[154],"implement":[155,185],"this":[156,168],"GraphML.":[159],"Second,":[160],"defines":[162],"paper,":[169],"introduce":[171],"operators":[172],"attributes":[175],"expanding":[177],"contracting":[179],"components":[180],"network,":[183],"these":[186],"using":[188],"Boost":[190],"Graph":[191],"Library":[192],"(BGL).":[193],"demonstrate":[197],"potential":[199],"provide":[211],"detailed":[213],"example":[214],"how":[216],"could":[218],"help":[219],"with":[220,279],"assessment":[222],"discuss":[224],"additional":[225],"applications":[226],"beyond":[227],"mentioned":[231],"above.":[232],"We":[233],"describe":[234],"approaches":[236],"argue":[241],"improves":[244],"state-of-the-art":[248],"practice.":[251],"fact,":[253],"intend":[255],"enable":[258],"broad":[260],"range":[261],"new":[263],"on":[265],"realistic":[266],"architectures":[268],"giving":[270],"utilities,":[271],"auditors,":[272],"managers,":[273],"researchers":[275],"common":[277],"communicate":[282]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}