{"id":"https://openalex.org/W2501010230","doi":"https://doi.org/10.1109/tc.2016.2595578","title":"Bounded Auditable Restoration of Distributed Systems","display_name":"Bounded Auditable Restoration of Distributed Systems","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2501010230","doi":"https://doi.org/10.1109/tc.2016.2595578","mag":"2501010230"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2016.2595578","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2016.2595578","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"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 Computers","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/A5004509706","display_name":"Reza Hajisheykhi","orcid":"https://orcid.org/0000-0002-0396-9701"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Reza Hajisheykhi","raw_affiliation_strings":["Computer Science and Engineering Department, Michigan State University, East Lansing, MI"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering Department, Michigan State University, East Lansing, MI","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091165148","display_name":"Mohammad Roohitavaf","orcid":null},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohammad Roohitavaf","raw_affiliation_strings":["Computer Science and Engineering Department, Michigan State University, East Lansing, MI"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering Department, Michigan State University, East Lansing, MI","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072787717","display_name":"Sandeep S. Kulkarni","orcid":"https://orcid.org/0000-0002-7608-2116"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sandeep S. Kulkarni","raw_affiliation_strings":["Computer Science and Engineering Department, Michigan State University, East Lansing, MI"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering Department, Michigan State University, East Lansing, MI","institution_ids":["https://openalex.org/I87216513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004509706"],"corresponding_institution_ids":["https://openalex.org/I87216513"],"apc_list":null,"apc_paid":null,"fwci":1.1941407,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.82503654,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9940999746322632,"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/T11424","display_name":"Security and Verification in Computing","score":0.9939000010490417,"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/bounded-function","display_name":"Bounded function","score":0.650749921798706},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6081664562225342},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39660391211509705},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3323914408683777},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22769197821617126}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.650749921798706},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6081664562225342},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39660391211509705},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3323914408683777},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22769197821617126},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2016.2595578","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2016.2595578","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"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 Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.7400000095367432,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W96259911","https://openalex.org/W1492062136","https://openalex.org/W1501386175","https://openalex.org/W1508242023","https://openalex.org/W1524620946","https://openalex.org/W1543232908","https://openalex.org/W1568547366","https://openalex.org/W1576397915","https://openalex.org/W1929373254","https://openalex.org/W1969320647","https://openalex.org/W1970745521","https://openalex.org/W1972904874","https://openalex.org/W1984688105","https://openalex.org/W2005130403","https://openalex.org/W2029693536","https://openalex.org/W2036601091","https://openalex.org/W2044696477","https://openalex.org/W2094295845","https://openalex.org/W2095425626","https://openalex.org/W2101153553","https://openalex.org/W2108255910","https://openalex.org/W2111132249","https://openalex.org/W2112178465","https://openalex.org/W2114579022","https://openalex.org/W2133943294","https://openalex.org/W2294687607","https://openalex.org/W2295747887","https://openalex.org/W3137092842","https://openalex.org/W4206314719","https://openalex.org/W4239882242","https://openalex.org/W4256367411","https://openalex.org/W6634463810","https://openalex.org/W6676640887"],"related_works":["https://openalex.org/W1604898313","https://openalex.org/W2117014006","https://openalex.org/W4233815414","https://openalex.org/W2372170743","https://openalex.org/W1491899005","https://openalex.org/W1558545464","https://openalex.org/W2172791042","https://openalex.org/W2998813341","https://openalex.org/W1587227328","https://openalex.org/W1513409726"],"abstract_inverted_index":{"We":[0],"focus":[1],"on":[2,45],"protocols":[3,14,115,231],"for":[4,12,66,116],"auditable":[5,61,93,117,126,160,168,177,185,200,228,243,257],"restoration":[6,220,248,258],"of":[7,48,151,175,192,212],"distributed":[8,53,261],"systems.":[9],"The":[10,128],"need":[11],"such":[13,37,55],"arises":[15],"due":[16],"to":[17,22,96,255,259],"conflicting":[18],"requirements":[19],"(e.g.,":[20],"access":[21,30],"the":[23,46,74,87,92,103,137,149,152,163,176,181,190,210,219,223,238,247],"system":[24,101,164,182,224],"should":[25,31],"be":[26,32,82,97,253],"restricted":[27],"but":[28],"emergency":[29],"provided).":[33],"One":[34],"can":[35,81,122,188,197,208,217,235,252],"design":[36],"systems":[38],"with":[39,148],"a":[40,52,67,158],"tamper":[41],"detection":[42],"approach":[43],"(based":[44],"intuition":[47],"In-case-of-emergency-break-glass).":[49],"However,":[50],"in":[51,78,86,109,226],"system,":[54],"tampering,":[56],"which":[57],"are":[58,232],"denoted":[59],"as":[60],"events,":[62],"is":[63,71,173,225],"visible":[64],"only":[65,205,221],"single":[68],"node.":[69],"This":[70],"unacceptable":[72],"since":[73],"actions":[75],"they":[76,251],"take":[77],"these":[79,215],"situations":[80],"different":[83],"than":[84],"those":[85],"normal":[88,104],"mode.":[89],"Moreover,":[90,214,250],"eventually,":[91],"event":[94,161],"needs":[95],"cleared":[98],"so":[99],"that":[100,144,204],"resumes":[102],"operation.":[105],"With":[106],"this":[107,110],"motivation,":[108],"paper,":[111],"we":[112,202],"present":[113],"two":[114],"restoration,":[118],"where":[119,170,240],"any":[120,195],"process":[121,172,196],"potentially":[123],"identify":[124],"an":[125,132,167,184,199,227],"event.":[127,178],"first":[129],"protocol":[130,139],"has":[131],"unbounded":[133],"state":[134,142,169],"space":[135,143],"while":[136],"second":[138],"uses":[140],"bounded":[141],"does":[145],"not":[146],"increase":[147],"length":[150],"computation.":[153],"In":[154],"both":[155],"protocols,":[156],"whenever":[157],"new":[159],"occurs,":[162],"must":[165],"reach":[166],"every":[171],"aware":[174],"Only":[179],"after":[180],"reaches":[183],"state,":[186],"it":[187],"begin":[189,209,218],"operation":[191],"restoration.":[193,213],"Although":[194],"observe":[198],"event,":[201],"require":[203],"authorized":[206],"processes":[207,216],"task":[211],"when":[222],"state.":[229],"Our":[230],"self-stabilizing":[233],"and":[234],"effectively":[236],"handle":[237],"case":[239],"faults":[241],"or":[242],"events":[244],"occur":[245],"during":[246],"protocol.":[249],"used":[254],"provide":[256],"other":[260],"protocols.":[262]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}