Matches in SemOpenAlex for { <https://semopenalex.org/work/W3000520049> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3000520049 abstract "There are various means of providing dependability, one of which is fault removal and debugging is one popular example of a fault removal technique. During debugging, the system is executed, and execution data is collected, to be analysed later, to determine if the execution has satisfied the system specification. In a distributed system, the data collection is done centrally via a monitor, and the assumption typically is that all the nodes are correct. However, in open distributed systems such as the Internet of Things (IoT), there is no central authority to enforce this assumption and nodes may behave arbitrarily by violating protocol steps, making processes such as debugging very challenging. We call the data collection process for such processes auditing and a program that reliably records such data as being auditable. In this context, we make the following novel contributions towards auditability enforcement: (i) we define the auditability problem and (ii) identify a necessary condition for a program to be auditable. We then provide examples of auditable programs. Subsequently, (iii) we show an impossibility result for strong auditability. To circumvent this impossibility, we study a weaker problem and discuss the ramifications of certain implementations. Finally, we show that auditability is at least as difficult as the problem of fair exchange. This is the first formal work towards the design of reliable systems through audibility." @default.
- W3000520049 created "2020-01-23" @default.
- W3000520049 creator A5005426902 @default.
- W3000520049 creator A5025935020 @default.
- W3000520049 date "2019-12-01" @default.
- W3000520049 modified "2023-09-27" @default.
- W3000520049 title "Auditability: An Approach to Ease Debugging of Reliable Distributed Systems" @default.
- W3000520049 cites W1500696949 @default.
- W3000520049 cites W1505985666 @default.
- W3000520049 cites W1572142135 @default.
- W3000520049 cites W1577607663 @default.
- W3000520049 cites W1601461406 @default.
- W3000520049 cites W1987593503 @default.
- W3000520049 cites W2011023286 @default.
- W3000520049 cites W2012697748 @default.
- W3000520049 cites W2036910349 @default.
- W3000520049 cites W2047431599 @default.
- W3000520049 cites W2060953276 @default.
- W3000520049 cites W2106997041 @default.
- W3000520049 cites W2114244672 @default.
- W3000520049 cites W2134461696 @default.
- W3000520049 cites W2143435352 @default.
- W3000520049 cites W2144201174 @default.
- W3000520049 cites W2145071552 @default.
- W3000520049 cites W2145185087 @default.
- W3000520049 cites W2152684032 @default.
- W3000520049 cites W2168607538 @default.
- W3000520049 cites W2239133348 @default.
- W3000520049 cites W2325877089 @default.
- W3000520049 cites W2519794155 @default.
- W3000520049 cites W2547833391 @default.
- W3000520049 cites W653432076 @default.
- W3000520049 cites W7829728 @default.
- W3000520049 doi "https://doi.org/10.1109/prdc47002.2019.00053" @default.
- W3000520049 hasPublicationYear "2019" @default.
- W3000520049 type Work @default.
- W3000520049 sameAs 3000520049 @default.
- W3000520049 citedByCount "0" @default.
- W3000520049 crossrefType "proceedings-article" @default.
- W3000520049 hasAuthorship W3000520049A5005426902 @default.
- W3000520049 hasAuthorship W3000520049A5025935020 @default.
- W3000520049 hasConcept C115903868 @default.
- W3000520049 hasConcept C120314980 @default.
- W3000520049 hasConcept C142724271 @default.
- W3000520049 hasConcept C151730666 @default.
- W3000520049 hasConcept C168065819 @default.
- W3000520049 hasConcept C17744445 @default.
- W3000520049 hasConcept C199360897 @default.
- W3000520049 hasConcept C199539241 @default.
- W3000520049 hasConcept C204787440 @default.
- W3000520049 hasConcept C26713055 @default.
- W3000520049 hasConcept C2776261394 @default.
- W3000520049 hasConcept C2779343474 @default.
- W3000520049 hasConcept C2779777834 @default.
- W3000520049 hasConcept C2780385302 @default.
- W3000520049 hasConcept C38652104 @default.
- W3000520049 hasConcept C41008148 @default.
- W3000520049 hasConcept C71924100 @default.
- W3000520049 hasConcept C77019957 @default.
- W3000520049 hasConcept C86803240 @default.
- W3000520049 hasConcept C98045186 @default.
- W3000520049 hasConceptScore W3000520049C115903868 @default.
- W3000520049 hasConceptScore W3000520049C120314980 @default.
- W3000520049 hasConceptScore W3000520049C142724271 @default.
- W3000520049 hasConceptScore W3000520049C151730666 @default.
- W3000520049 hasConceptScore W3000520049C168065819 @default.
- W3000520049 hasConceptScore W3000520049C17744445 @default.
- W3000520049 hasConceptScore W3000520049C199360897 @default.
- W3000520049 hasConceptScore W3000520049C199539241 @default.
- W3000520049 hasConceptScore W3000520049C204787440 @default.
- W3000520049 hasConceptScore W3000520049C26713055 @default.
- W3000520049 hasConceptScore W3000520049C2776261394 @default.
- W3000520049 hasConceptScore W3000520049C2779343474 @default.
- W3000520049 hasConceptScore W3000520049C2779777834 @default.
- W3000520049 hasConceptScore W3000520049C2780385302 @default.
- W3000520049 hasConceptScore W3000520049C38652104 @default.
- W3000520049 hasConceptScore W3000520049C41008148 @default.
- W3000520049 hasConceptScore W3000520049C71924100 @default.
- W3000520049 hasConceptScore W3000520049C77019957 @default.
- W3000520049 hasConceptScore W3000520049C86803240 @default.
- W3000520049 hasConceptScore W3000520049C98045186 @default.
- W3000520049 hasLocation W30005200491 @default.
- W3000520049 hasOpenAccess W3000520049 @default.
- W3000520049 hasPrimaryLocation W30005200491 @default.
- W3000520049 hasRelatedWork W111790 @default.
- W3000520049 hasRelatedWork W2548177 @default.
- W3000520049 hasRelatedWork W2952423 @default.
- W3000520049 hasRelatedWork W3057367 @default.
- W3000520049 hasRelatedWork W3844980 @default.
- W3000520049 hasRelatedWork W3932603 @default.
- W3000520049 hasRelatedWork W4571507 @default.
- W3000520049 hasRelatedWork W7567679 @default.
- W3000520049 hasRelatedWork W9866328 @default.
- W3000520049 hasRelatedWork W9809715 @default.
- W3000520049 isParatext "false" @default.
- W3000520049 isRetracted "false" @default.
- W3000520049 magId "3000520049" @default.
- W3000520049 workType "article" @default.