{"id":"https://openalex.org/W2592831557","doi":"https://doi.org/10.1109/tr.2017.2665164","title":"An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems","display_name":"An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems","publication_year":2017,"publication_date":"2017-03-11","ids":{"openalex":"https://openalex.org/W2592831557","doi":"https://doi.org/10.1109/tr.2017.2665164","mag":"2592831557"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2017.2665164","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2017.2665164","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-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/A5039439171","display_name":"Jason Jaskolka","orcid":"https://orcid.org/0000-0001-6316-3040"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jason Jaskolka","raw_affiliation_strings":["Center for International Security and Cooperation, Stanford University, Stanford, CA, USA"],"affiliations":[{"raw_affiliation_string":"Center for International Security and Cooperation, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032781209","display_name":"John Villasenor","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Villasenor","raw_affiliation_strings":["Center for International Security and Cooperation, Stanford University, Stanford, CA, USA","Schools of Engineering, Public Policy, and Management at the University of California Los Angeles, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"Center for International Security and Cooperation, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Schools of Engineering, Public Policy, and Management at the University of California Los Angeles, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5039439171"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":0.5851,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.74294112,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"66","issue":"2","first_page":"529","last_page":"546"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9966999888420105,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.7221881151199341},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6197410225868225},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5803344249725342},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5250639319419861},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.4714915454387665},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.43086493015289307},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3870251774787903},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.35612601041793823},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1374095380306244},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12939241528511047}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7221881151199341},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6197410225868225},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5803344249725342},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5250639319419861},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.4714915454387665},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.43086493015289307},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3870251774787903},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.35612601041793823},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1374095380306244},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12939241528511047},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2017.2665164","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2017.2665164","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G8248628036","display_name":null,"funder_award_id":"2015-ST-061-CIRC01","funder_id":"https://openalex.org/F4320306110","funder_display_name":"U.S. Department of Homeland Security"}],"funders":[{"id":"https://openalex.org/F4320306110","display_name":"U.S. Department of Homeland Security","ror":"https://ror.org/00jyr0d86"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":89,"referenced_works":["https://openalex.org/W29329506","https://openalex.org/W125969323","https://openalex.org/W140128982","https://openalex.org/W210097943","https://openalex.org/W574738980","https://openalex.org/W642120166","https://openalex.org/W938539187","https://openalex.org/W1075403691","https://openalex.org/W1481365453","https://openalex.org/W1489371530","https://openalex.org/W1490109742","https://openalex.org/W1527172800","https://openalex.org/W1554289869","https://openalex.org/W1561267729","https://openalex.org/W1576770735","https://openalex.org/W1592314966","https://openalex.org/W1594455430","https://openalex.org/W1606541245","https://openalex.org/W1652322318","https://openalex.org/W1940060540","https://openalex.org/W1972478730","https://openalex.org/W1977764760","https://openalex.org/W1987323082","https://openalex.org/W1993302007","https://openalex.org/W1994350081","https://openalex.org/W2000205253","https://openalex.org/W2008505674","https://openalex.org/W2008856128","https://openalex.org/W2036526834","https://openalex.org/W2058755347","https://openalex.org/W2066210260","https://openalex.org/W2072794470","https://openalex.org/W2081551198","https://openalex.org/W2085017141","https://openalex.org/W2092728024","https://openalex.org/W2094873755","https://openalex.org/W2096490078","https://openalex.org/W2104255209","https://openalex.org/W2113188272","https://openalex.org/W2116084362","https://openalex.org/W2116166443","https://openalex.org/W2116647386","https://openalex.org/W2121739482","https://openalex.org/W2124251840","https://openalex.org/W2128932399","https://openalex.org/W2131062488","https://openalex.org/W2132334337","https://openalex.org/W2137865376","https://openalex.org/W2141756654","https://openalex.org/W2143493151","https://openalex.org/W2150174204","https://openalex.org/W2150517342","https://openalex.org/W2151646530","https://openalex.org/W2157906846","https://openalex.org/W2162785273","https://openalex.org/W2167968482","https://openalex.org/W2172151873","https://openalex.org/W2213763094","https://openalex.org/W2294743843","https://openalex.org/W2316001766","https://openalex.org/W2344909807","https://openalex.org/W2345034605","https://openalex.org/W2462602917","https://openalex.org/W2470754857","https://openalex.org/W2587627569","https://openalex.org/W2591382939","https://openalex.org/W2912904668","https://openalex.org/W3125758765","https://openalex.org/W3139468909","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4212791533","https://openalex.org/W4241207176","https://openalex.org/W4242692807","https://openalex.org/W4293117802","https://openalex.org/W6608566823","https://openalex.org/W6629177058","https://openalex.org/W6633768105","https://openalex.org/W6640334962","https://openalex.org/W6665489325","https://openalex.org/W6668719185","https://openalex.org/W6671845781","https://openalex.org/W6677182788","https://openalex.org/W6679633611","https://openalex.org/W6718580378","https://openalex.org/W6733378521","https://openalex.org/W6997154941","https://openalex.org/W7061829536","https://openalex.org/W7075353085"],"related_works":["https://openalex.org/W2033512842","https://openalex.org/W2758516947","https://openalex.org/W4322734194","https://openalex.org/W3005535424","https://openalex.org/W4233600955","https://openalex.org/W2913665393","https://openalex.org/W2369695847","https://openalex.org/W2994319598","https://openalex.org/W2047067935","https://openalex.org/W2981505569"],"abstract_inverted_index":{"Safety-critical":[0],"system":[1,128],"domains":[2],"such":[3],"as":[4,105],"critical":[5,171],"infrastructures,":[6],"aerospace,":[7],"automotive,":[8],"and":[9,12,43,53,63,72,84,88,124,154,157,164],"industrial":[10],"manufacturing":[11],"control":[13],"are":[14],"becoming":[15],"increasingly":[16],"dependent":[17],"on":[18,68,100],"the":[19,69,86,101,140,149,161],"use":[20],"of":[21,45,74,90,167],"distributed":[22,29,94,168],"systems":[23,30,169],"to":[24,136],"achieve":[25],"their":[26,37],"functionality.":[27],"These":[28],"can":[31,64,121,146],"contain":[32],"many":[33],"complex":[34],"interactions":[35,56,92],"among":[36],"constituent":[38],"components.":[39],"Despite":[40],"extensive":[41],"testing":[42],"verification":[44],"individual":[46],"components,":[47],"security":[48],"vulnerabilities":[49],"resulting":[50],"from":[51],"unintended":[52],"unforeseen":[54],"component":[55],"(so-called":[57],"implicit":[58,91],"interactions)":[59],"often":[60],"remain":[61],"undetected":[62],"have":[65],"an":[66,80],"impact":[67],"safety,":[70],"security,":[71],"reliability":[73],"a":[75],"system.":[76],"This":[77],"paper":[78,145],"presents":[79],"approach":[81,97,120],"for":[82,152,159],"identifying":[83],"analyzing":[85],"existence":[87],"severity":[89],"in":[93,127,143,170],"systems.":[95],"The":[96],"is":[98],"based":[99],"modeling":[102],"framework":[103],"known":[104],"communicating":[106],"concurrent":[107],"Kleene":[108],"algebra":[109],"(C":[110],"<sup":[111],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[112],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">2</sup>":[113],"KA).":[114],"Experimental":[115],"results":[116],"confirm":[117],"that":[118,130],"this":[119,144],"successfully":[122],"identify":[123],"analyze":[125],"dependencies":[126],"designs":[129],"would":[131],"otherwise":[132],"be":[133],"very":[134],"hard":[135],"find.":[137],"More":[138],"broadly,":[139],"methods":[141,156],"presented":[142],"help":[147],"address":[148],"growing":[150],"need":[151],"rigorous":[153],"practical":[155],"techniques":[158],"assuring":[160],"safe,":[162],"secure,":[163],"reliable":[165],"operation":[166],"domains.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}