{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:28Z","timestamp":1725557848831},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/dsn.2004.1311897","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"275-284","source":"Crossref","is-referenced-by-count":3,"title":["Quantifying the reliability of proven SPIDER group membership service guarantees"],"prefix":"10.1109","author":[{"given":"E.","family":"Latronico","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Miner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Koopman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A New On-Line Diagnosis Protocol for the SPIDER Family of Byzantine Fault Tolerant Architectures","author":"geser","year":"2003","journal-title":"NASAITM-2003–2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/26.58757"},{"journal-title":"Analysis and Test of Bus Systems PALBUS Task 10 2 and 10 3 SP Swedish National Testing and Research Institute","year":"2001","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1992.243562"},{"key":"ref4","article-title":"Techniques for Modeling the Reliability of Fault-Tolerant Systems With the Markov State-Space Approach","author":"butler","year":"1995","journal-title":"NASA RP-1348"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/24.257783"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/12.780878"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/503112.503113"},{"key":"ref8","first-page":"235","article-title":"Byzantine Fault Tolerance, from Theory to Reality","author":"driscoll","year":"2003","journal-title":"Proc of the 2003 Intl Conf on Computer Safety Reliability and Security (SAFECOMP 2003)"},{"key":"ref7","first-page":"171","article-title":"Diversity Against Accidental and Deliberate Faults","author":"deswarte","year":"1998","journal-title":"Proc Conf Comput Security Depend Assurance"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2001.996386"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209924"},{"key":"ref9","first-page":"71","article-title":"A Formal Correctness Proof of the SPIDER Diagnosis Protocol","author":"geser","year":"2002","journal-title":"Proceedings of the International Conference Theorem Proving in Higher Order Logics (TPHOLs)"}],"event":{"name":"International Conference on Dependable Systems and Networks, 2004","start":{"date-parts":[[2004,7,1]]},"location":"Florence, Italy","end":{"date-parts":[[2004,7,1]]}},"container-title":["International Conference on Dependable Systems and Networks, 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9172\/29105\/01311897.pdf?arnumber=1311897","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T00:27:20Z","timestamp":1489451240000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1311897\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/dsn.2004.1311897","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}