{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:54Z","timestamp":1760202714344,"version":"3.41.0"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319492582"},{"type":"electronic","value":"9783319492599"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49259-9_4","type":"book-chapter","created":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T01:11:34Z","timestamp":1478049094000},"page":"36-53","source":"Crossref","is-referenced-by-count":7,"title":["Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Binun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Coupaye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shlomi","family":"Dolev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Kassi-Lahlou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Lacoste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Palesandro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reuven","family":"Yagel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonid","family":"Yankulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,3]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Baron, J., El Defrawy, K., Lampkins, J., Ostrovsky, R.: How to withstand mobile virus attacks, revisited. In: PODC, pp. 293\u2013302 (2014)","DOI":"10.1145\/2611462.2611474"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Binun, A., Bloch, M., Dolev, S., Kahil, M., Menuhin, B., Yagel, R., Coupaye, T., Lacoste, M., Wailly, A.: Self-stabilizing virtual machine hypervisor architecture for resilient cloud. In: IEEE International Workshop on Dependable and Secure Services (DSS) (2014)","DOI":"10.1109\/SERVICES.2014.44"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bonomi, S., Dolev, S., Potop-Butucaru, M., Raynal, M.: Stabilizing server-based storage in Byzantine asynchronous message-passing systems. In: PODC, pp. 471\u2013479 (2015)","DOI":"10.1145\/2767386.2767441"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-09581-3_8","volume-title":"Networked Systems","author":"P Blanchard","year":"2014","unstructured":"Blanchard, P., Dolev, S., Beauquier, J., Dela\u00ebt, S.: Practically self-stabilizing paxos replicated state-machine. In: Noubir, G., Raynal, M. (eds.) NETYS 2014. LNCS, vol. 8593, pp. 99\u2013121. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-09581-3_8"},{"issue":"4","key":"4_CR5","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/s10009-011-0200-3","volume":"13","author":"O Brukman","year":"2011","unstructured":"Brukman, O., Dolev, S.: Recovery oriented programming: runtime monitoring of safety and liveness. STTT 13(4), 377\u2013395 (2011)","journal-title":"STTT"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Brukman, O., Dolev, S., Weinstock, M., Weiss, G.: Self- $$*$$ Programming: run-time parallel control search for reflection box, Evolving Systems. Also in SASO 2008, pp. 481\u2013482 (2013)","DOI":"10.1109\/SASO.2008.48"},{"key":"4_CR7","first-page":"130","volume":"94","author":"O Brukman","year":"2008","unstructured":"Brukman, O., Dolev, S., Haviv, Y., Lahiani, L., Kat, R., Schiller, E.M., Tzachar, N., Yagel, R.: Self-stabilization from theory to practice. Bulletin EATCS 94, 130\u2013150 (2008)","journal-title":"Bulletin EATCS"},{"issue":"12","key":"4_CR8","doi-asserted-by":"crossref","first-page":"2315","DOI":"10.1016\/j.jss.2008.04.028","volume":"81","author":"O Brukman","year":"2008","unstructured":"Brukman, O., Dolev, S., Kolodner, E.K.: A self-stabilizing autonomic recoverer for eventual Byzantine software. J. Syst. Softw. 81(12), 2315\u20132327 (2008)","journal-title":"J. Syst. Softw."},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-11322-2_11","volume-title":"Distributed Computing and Networking","author":"F Borran","year":"2010","unstructured":"Borran, F., Schiper, A.: A leader-free Byzantine consensus algorithm. In: Kant, K., Pemmaraju, S.V., Sivalingam, K.M., Wu, J. (eds.) ICDCN 2010. LNCS, vol. 5935, pp. 67\u201378. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-11322-2_11"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Bessani, A., Sousa, J., Alchieri, E.E.: State machine replication for the masses with BFT-SMART. In: Proceedings of the 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, Atlanta, GA 23\u201326 June 2014","DOI":"10.1109\/DSN.2014.43"},{"issue":"4","key":"4_CR11","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1145\/571637.571640","volume":"20","author":"M Castro","year":"2002","unstructured":"Castro, M., Liskov, B.: Practical Byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4), 398\u2013461 (2002)","journal-title":"ACM Trans. Comput. Syst."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-10877-8_25","volume-title":"Principles of Distributed Systems","author":"S Dela\u00ebt","year":"2009","unstructured":"Dela\u00ebt, S., Dolev, S., Peres, O.: Safe and Eventually Safe: comparing self-stabilizing and non-stabilizing algorithms on a common ground. In: Abdelzaher, T., Raynal, M., Santoro, N. (eds.) OPODIS 2009. LNCS, vol. 5923, pp. 315\u2013329. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-10877-8_25 . Also, \u201cSafer Than Safe: on the initial state of self-stabilizing systems\u201d. In: SSS 2009, pp. 775\u2013776 (2009)"},{"key":"4_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-Stabilization","author":"S Dolev","year":"2000","unstructured":"Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Dolev, S., El Defrawy, K., Lampkins, J., Ostrovesky, R., Yung, M.: Proactive secret sharing with a dishonest majority. In: 10th International Conference, Security and Cryptography for Networks (SCN), brief announcment in PODC (2016)","DOI":"10.1007\/978-3-319-44618-9_28"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Dolev, S., Georgiou, C., Marcoullis, I., Schiller, E.M.: Self-stabilizing Virtual Synchrony. In: SSS, pp. 248\u2013264 (2015)","DOI":"10.1007\/978-3-319-21741-3_17"},{"issue":"4","key":"4_CR16","doi-asserted-by":"crossref","first-page":"860","DOI":"10.1016\/j.jcss.2014.01.001","volume":"80","author":"D Dolev","year":"2014","unstructured":"Dolev, D., Fuegger, M., Lenzen, C., Posch, M., Schmid, U., Steininger, A.: Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip. J. Comput. Syst. Sci. 80(4), 860\u2013900 (2014)","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"4_CR17","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1109\/TC.2006.61","volume":"55","author":"S Dolev","year":"2006","unstructured":"Dolev, S., Haviv, Y.A.: Self-stabilizing microprocessor: analyzing and overcoming soft errors. IEEE Trans. Comput. 55(4), 385\u2013399 (2006)","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"4_CR18","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1109\/TDSC.2011.60","volume":"9","author":"S Dolev","year":"2012","unstructured":"Dolev, S., Haviv, Y.A.: Stabilization enabling technology. IEEE Trans. Dependable Sec. Comput. 9(2), 275\u2013288 (2012)","journal-title":"IEEE Trans. Dependable Sec. Comput."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Dolev, S., Haviv, Y.A., Sagiv, M.: Self-stabilization preserving compiler. ACM Trans. Program. Lang. Syst. 31(6) (2009)","DOI":"10.1145\/1552309.1552312"},{"issue":"2","key":"4_CR20","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/HSN-2005-256","volume":"14","author":"S Dolev","year":"2005","unstructured":"Dolev, S., Kat, R.I.: Self-stabilizing distributed file system. J. High Speed Networks 14(2), 135\u2013153 (2005)","journal-title":"J. High Speed Networks"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Dolev, S., Liba, O., Schiller, E.M.: Self-stabilizing Byzantine resilient topology discovery and message delivery, CoRR abs\/1208.5620 (2012)","DOI":"10.1007\/978-3-319-03089-0_27"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Dolev, S., Hermann, T.: SuperStabilizing protocols for dynamic distributed systems. In: PODC (1995)","DOI":"10.1145\/224964.224993"},{"issue":"1","key":"4_CR23","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/S0022-0000(03)00063-1","volume":"67","author":"S Dolev","year":"2003","unstructured":"Dolev, S., Rajsbaum, S.: Stability of long-lived consensus. J. Comput. Syst. Sci. 67(1), 26\u201345 (2003)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"4_CR24","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.cosrev.2010.09.008","volume":"5","author":"S Dolev","year":"2011","unstructured":"Dolev, S., Schiller, E.M., Spirakis, P.G., Tsigas, P.: Robust and scalable middleware for selfish-computer systems. Comput. Sci. Rev. 5(1), 69\u201384 (2011)","journal-title":"Comput. Sci. Rev."},{"issue":"1","key":"4_CR25","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1504\/IJAACS.2011.037747","volume":"4","author":"S Dolev","year":"2011","unstructured":"Dolev, S., Schiller, E.M., Spirakis, P.G., Tsigas, P.: Strategies for repeated games with subsystem takeovers implementable by deterministic, self-stabilizing automata. IJAACS 4(1), 4\u201338 (2011)","journal-title":"IJAACS"},{"issue":"5\u20136","key":"4_CR26","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s00236-010-0119-2","volume":"47","author":"S Dolev","year":"2010","unstructured":"Dolev, S., Tzachar, N.: Randomization adaptive self-stabilization. Acta Inf. 47(5\u20136), 313\u2013323 (2010)","journal-title":"Acta Inf."},{"issue":"5","key":"4_CR27","doi-asserted-by":"crossref","first-page":"780","DOI":"10.1145\/1017460.1017463","volume":"51","author":"S Dolev","year":"2004","unstructured":"Dolev, S., Welch, J.L.: Self-stabilizing clock synchronization in the presence of Byzantine faults. J. ACM 51(5), 780\u2013799 (2004)","journal-title":"J. ACM"},{"issue":"4","key":"4_CR28","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1109\/TSE.2008.46","volume":"34","author":"S Dolev","year":"2008","unstructured":"Dolev, S., Yagel, R.: Towards self-stabilizing operating systems. IEEE Trans. Softw. Eng. 34(4), 564\u2013576 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"4_CR29","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/1842733.1842746","volume":"44","author":"S Dolev","year":"2010","unstructured":"Dolev, S., Yagel, R.: Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of Byzantine guests. Operating Syst. Rev. 44(3), 65\u201374 (2010)","journal-title":"Operating Syst. Rev."},{"issue":"5","key":"4_CR30","doi-asserted-by":"crossref","first-page":"780","DOI":"10.1145\/1017460.1017463","volume":"51","author":"S Dolev","year":"2004","unstructured":"Dolev, S., Welch, J.: Bayard Kohlhepp Review #: CR130437 (0504-0452) on Self-stabilizing clock synchronization in the presence of Byzantine faults. J. ACM 51(5), 780\u2013799 (2004). ACM Computing Review","journal-title":"J. ACM"},{"key":"4_CR31","volume-title":"Distributed Algorithms","author":"NA Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"issue":"2","key":"4_CR32","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L Lamport","year":"1998","unstructured":"Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst. 16(2), 133\u2013169 (1998)","journal-title":"ACM Trans. Comput. Syst."},{"key":"4_CR33","unstructured":"Lamport, L., Paxos made simple, fast, and Byzantine. In: OPODIS, pp. 7\u20139 (2002)"},{"key":"4_CR34","series-title":"Advances in Information Security","volume-title":"The Austin Protocol Compiler","author":"M Tommy","year":"2005","unstructured":"Tommy, M., McGuire, T.M., Gouda, M.G.: The Austin Protocol Compiler. Advances in Information Security. Springer, New York (2005)"},{"issue":"1","key":"4_CR35","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/2088883.2088888","volume":"37","author":"PG Neumann","year":"2012","unstructured":"Neumann, P.G.: Risks to the Public. ACM SIGSOFT Softw. Eng. Notes 37(1), 21\u201326 (2012)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Ostrovsky, R., Yung, M.: How to withstand mobile virus attacks. In: PODC, pp. 51\u201359 (1991)","DOI":"10.1145\/112600.112605"},{"key":"4_CR37","unstructured":"Hunt, P., Konar, M., Junqueira, F.P., Reed, B.: ZooKeeper: wait-free coordination for internet-scale systems. In: Proceedings of the USENIX Annual Technical Conference, p. 11, 23\u201325 June 2010, Boston, MA (2010)"},{"issue":"2","key":"4_CR38","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M Pease","year":"1980","unstructured":"Pease, M., Shostak, R., Lamport, L.: Reaching agreement in the presence of faults. J. ACM 27(2), 228\u2013234 (1980)","journal-title":"J. ACM"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Wailly, A., Lacoste, M., Debar, H.: Vespa: multi-layered self-protection for cloud resources. In: Proceedings of the 9th Inter-national Conference on Autonomic Computing (ICAC) 2012, pp. 155\u2013160, New York (2012)","DOI":"10.1145\/2371536.2371564"},{"key":"4_CR40","unstructured":"Yagel, R., Dolev, S., Binun, A., Yankulin, L., Lacoste, M., Coupaye, T., Kassi-Lahlou, M., Palesandro, A., Wailly, A.: Data stabilization enforcement via active monitoring the cloud infrastructure consistency case. In: SSS (2015)"},{"key":"4_CR41","unstructured":"Clam Anti-Virus. https:\/\/www.clamav.net\/"},{"key":"4_CR42","unstructured":"Docker. https:\/\/www.docker.com\/"},{"key":"4_CR43","unstructured":"European Expert Group For IT-Security. www.eicar.org\/download\/eicar.com.txt"},{"key":"4_CR44","unstructured":"Apache Hadoop. http:\/\/hadoop.apache.org\/"},{"key":"4_CR45","unstructured":"OpenStack. https:\/\/www.openstack.org\/"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49259-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T23:12:50Z","timestamp":1749683570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49259-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319492582","9783319492599"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49259-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}