{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:32:02Z","timestamp":1725550322855},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540298144"},{"type":"electronic","value":"9783540321231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11577327_9","type":"book-chapter","created":{"date-parts":[[2005,10,15]],"date-time":"2005-10-15T10:18:16Z","timestamp":1129371496000},"page":"128-139","source":"Crossref","is-referenced-by-count":1,"title":["Code Stabilization"],"prefix":"10.1007","author":[{"given":"Felix C.","family":"Freiling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sukumar","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"9_CR1","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/32.256850","volume":"19","author":"A. Arora","year":"1993","unstructured":"Arora, A., Gouda, M.: Closure and convergence: A foundation of fault-tolerant computing. IEEE Transactions on Software Engineering\u00a019(11), 1015\u20131027 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/32.663998","volume":"24","author":"A. Arora","year":"1998","unstructured":"Arora, A., Kulkarni, S.S.: Component based design of multitolerant systems. IEEE Transactions on Software Engineering\u00a024(1), 63\u201378 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Awerbuch, B., Patt-Shamir, B., Varghese, G.: Self-stabilization by local checking and correction. In: FOCS 1991 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pp. 268\u2013277 (1991)","DOI":"10.1109\/SFCS.1991.185378"},{"issue":"11","key":"9_CR4","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self stabilizing systems in spite of distributed control. Communications of the ACM\u00a017(11), 643\u2013644 (1974)","journal-title":"Communications of the ACM"},{"issue":"8","key":"9_CR5","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy, and formal derivation of programs. Communications of the ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Communications of the ACM"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF02278851","volume":"7","author":"S. Dolev","year":"1993","unstructured":"Dolev, S., Israeli, A., Moran, S.: Self-stabilization of dynamic systems assuming only read\/write atomicity. Distributed Computing\u00a07, 3\u201316 (1993)","journal-title":"Distributed Computing"},{"key":"9_CR7","volume-title":"Practical UNIX & Internet Security","author":"S. Garfinkel","year":"2003","unstructured":"Garfinkel, S., Spafford, G., Schwartz, A.: Practical UNIX & Internet Security. O\u2019Reilly & Associates, Sebastopol (2003)"},{"issue":"2-4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0020-0190(00)00207-6","volume":"77","author":"M.G. Gouda","year":"2001","unstructured":"Gouda, M.G.: Elements of security: Closure, convergence, and protection. Information Processing Letters\u00a077(2-4), 109\u2013114 (2001)","journal-title":"Information Processing Letters"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/12.88464","volume":"40","author":"M.G. Gouda","year":"1991","unstructured":"Gouda, M.G., Multari, N.J.: Stabilizing communication protocols. IEEE Transactions on Computers\u00a040(4), 448\u2013458 (1991)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR10","unstructured":"Halflife. Bypassing integrity checkers. Phrack Magazine, 7(51) (September 1997)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF02278852","volume":"7","author":"S. Katz","year":"1993","unstructured":"Katz, S., Perry, K.J.: Self-stabilizing extensions for message-passing systems. Distributed Computing\u00a07, 17\u201326 (1993)","journal-title":"Distributed Computing"},{"key":"9_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2606-0","volume-title":"An introduction to Kolmogorov complexity and its applications","author":"M. Li","year":"1997","unstructured":"Li, M., Vit\u00e1nyi, P.: An introduction to Kolmogorov complexity and its applications, 2nd edn. Springer, Heidelberg (1997)","edition":"2"},{"key":"9_CR13","volume-title":"Handbook of Applied Cryptography","author":"A.J. Menezes","year":"1997","unstructured":"Menezes, A.J., Oorschot, P.C.V., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1997)"},{"issue":"8","key":"9_CR14","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1145\/358198.358210","volume":"27","author":"K.L. Thompson","year":"1984","unstructured":"Thompson, K.L.: Reflections on trusting trust. Communications of the ACM\u00a027(8), 761\u2013763 (1984)","journal-title":"Communications of the ACM"},{"key":"9_CR15","unstructured":"Open Source Tripwire. Internet, \n                  \n                    http:\/\/www.sourceforge.net\/projects\/tripwire\/"},{"key":"9_CR16","unstructured":"Tripwire change auditing solutions. Internet, \n                  \n                    http:\/\/www.tripwire.com"}],"container-title":["Lecture Notes in Computer Science","Self-Stabilizing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11577327_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:44:57Z","timestamp":1619505897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11577327_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540298144","9783540321231"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11577327_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}