{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:12:57Z","timestamp":1725541977412},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642108761"},{"type":"electronic","value":"9783642108778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10877-8_26","type":"book-chapter","created":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T02:11:04Z","timestamp":1259719864000},"page":"330-344","source":"Crossref","is-referenced-by-count":1,"title":["Proactive Fortification of Fault-Tolerant Services"],"prefix":"10.1007","author":[{"given":"Paul","family":"Ezhilchelvan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dylan","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isi","family":"Mitrani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santosh","family":"Shrivastava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Agbaria, A., Friedman, R.: A replication- and checkpoint-based approach for anomaly-based intrusion detection and recovery. In: ICDCS Workshop on Security in Distributed Computing Systems, pp. 137\u2013143 (2005)","DOI":"10.1109\/ICDCSW.2005.21"},{"issue":"1","key":"26_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1053283.1053286","volume":"8","author":"E.G. Barrantes","year":"2005","unstructured":"Barrantes, E.G., Ackley, D.H., Forrest, S., Stefanovic, D.: Randomized instruction set emulation. ACM Trans. Information System Security\u00a08(1), 3\u201340 (2005)","journal-title":"ACM Trans. Information System Security"},{"issue":"3","key":"26_CR3","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/MDT.2005.69","volume":"22","author":"R. Baumann","year":"2005","unstructured":"Baumann, R.: Soft errors in advanced computer systems. IEEE Design and Test\u00a022(3), 258\u2013266 (2005)","journal-title":"IEEE Design and Test"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1145\/1133981.1134000","volume-title":"Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation","author":"E.D. Berger","year":"2006","unstructured":"Berger, E.D., Zorn, B.: Diehard: Probabilistic memory safety for unsafe languages. In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, pp. 158\u2013168. ACM Press, New York (2006)"},{"key":"26_CR5","first-page":"105","volume-title":"SSYM 2003: Proceedings of the 12th conference on USENIX Security Symposium","author":"S. Bhatkar","year":"2003","unstructured":"Bhatkar, S., DuVarney, D.C., Sekar, R.: Address obfuscation: an efficient approach to combat a board range of memory error exploits. In: SSYM 2003: Proceedings of the 12th conference on USENIX Security Symposium, pp. 105\u2013120. USENIX Association, Berkeley (2003)"},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/SFCS.1984.715912","volume-title":"SFCS 1984: Proceedings of the 25th Annual Symposium on Foundations of Computer Science","author":"A.Z. Broder","year":"1984","unstructured":"Broder, A.Z., Dolev, D.: Flipping coins in many pockets (byzantine agreement on uniformly random values). In: SFCS 1984: Proceedings of the 25th Annual Symposium on Foundations of Computer Science, pp. 157\u2013170. IEEE Computer Society, Washington (1984)"},{"key":"26_CR7","first-page":"173","volume-title":"OSDI 1999: Proceedings of the third symposium on Operating systems design and implementation","author":"M. Castro","year":"1999","unstructured":"Castro, M., Liskov, B.: Practical byzantine fault tolerance. In: OSDI 1999: Proceedings of the third symposium on Operating systems design and implementation, pp. 173\u2013186. USENIX Association, Berkeley (1999)"},{"issue":"4","key":"26_CR8","doi-asserted-by":"publisher","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 TOCS\u00a020(4), 398\u2013461 (2002)","journal-title":"ACM TOCS"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Fetzer, C., Xiao, Z.: Detecting heap smashing attacks through fault containment wrappers. In: Proc. SRDS 2001, pp. 80\u201389 (2001)","DOI":"10.1109\/RELDIS.2001.969756"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Kc, G.S., Keromytis, A.D., Prevelakis, V.: Countering code-injection attacks with instruction-set randomization. In: Proceedings of the 10th ACM Conference on Computer and Communications Security (CCS), Washingtion, DC, USA, pp. 272\u2013280 (2003)","DOI":"10.1145\/948109.948146"},{"issue":"4","key":"26_CR11","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1109\/TSE.2008.38","volume":"34","author":"A.I. Kistijantoro","year":"2008","unstructured":"Kistijantoro, A.I., Morgan, G., Shrivastava, S.K., Little, M.C.: Enhancing an application server to support available components. IEEE Transactions on Software Engineering\u00a034(4), 531\u2013545 (2008)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"26_CR12","first-page":"51","volume":"32","author":"L. Lamport","year":"2001","unstructured":"Lamport, L.: Paxos made simple. SIGACT News\u00a032(4), 51\u201358 (2001)","journal-title":"SIGACT News"},{"issue":"1","key":"26_CR13","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/TDSC.2004.3","volume":"1","author":"M. Marsh","year":"2004","unstructured":"Marsh, M., Schneider, F.B.: Codex: A robust and secure secret distribution system. IEEE Transctions in Dependable and Secure Computing\u00a01(1), 34\u201347 (2004)","journal-title":"IEEE Transctions in Dependable and Secure Computing"},{"key":"26_CR14","unstructured":"Roeder, T., Schneider, F.B.: Proactive obfuscation. Technical report. Cornell University (March 2009)"},{"issue":"1","key":"26_CR15","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/TDSC.2008.1","volume":"6","author":"A. Saidane","year":"2009","unstructured":"Saidane, A., Nicomette, V., Deswarte, Y.: The design of a generic intrusion-tolerant architecture for web servers. IEEE Transactions on Dependable and Secure Computing\u00a06(1), 45\u201358 (2009)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"4","key":"26_CR16","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F.B. Schneider","year":"1990","unstructured":"Schneider, F.B.: Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv.\u00a022(4), 299\u2013319 (1990)","journal-title":"ACM Comput. Surv."},{"issue":"5","key":"26_CR17","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MSP.2005.125","volume":"3","author":"F.B. Schneider","year":"2005","unstructured":"Schneider, F.B., Zhou, L.: Implementing trustworthy services using replicated state machines. IEEE Security and Privacy\u00a03(5), 34\u201343 (2005)","journal-title":"IEEE Security and Privacy"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1145\/1030083.1030124","volume-title":"CCS 2004: Proc. of the 11th ACM conference on Computer and Communications Security","author":"H. Shacham","year":"2004","unstructured":"Shacham, H., Page, M., Pfaff, B., Goh, E., Modadugu, N., Boneh, D.: On the effectiveness of address-space randomization. In: CCS 2004: Proc. of the 11th ACM conference on Computer and Communications Security, pp. 298\u2013307. ACM, New York (2004)"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Slember, J.G., Narasimhan, P.: Using program analysis to identify and compensate for nondeterminism in fault-tolerant, replicated systems. In: Proceedings of SRDS, pp. 251\u2013263 (2004)","DOI":"10.1109\/RELDIS.2004.1353026"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Sousa, P., Bessani, A.N., Correia, M., Neves, N.F., Verissimo, P.: Resilient intrusion tolerance through proactive and reactive recovery. In: Proc. 13th Pacific Rim International Symposium on Dependable Computing PRDC 2007 (To appear also in IEEE TPDS), December 17-19, pp. 373\u2013380 (2007)","DOI":"10.1109\/PRDC.2007.52"},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1145\/1141277.1141435","volume-title":"SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing","author":"P. Sousa","year":"2006","unstructured":"Sousa, P., Neves, N.F., Ver\u00edssimo, P.: Proactive resilience through architectural hybridization. In: SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing, pp. 686\u2013690. ACM, New York (2006)"},{"key":"26_CR22","unstructured":"Sousa, P., Neves, N.F., Verissimo, P.: Hidden problems of asynchronous proactive recovery. In: Workshop on Hot Topics in System Dependability (June 2007)"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Sousa, P., Neves, N.F., Verissimo, P., Sanders, W.H.: Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available. In: Proc. 25th IEEE Symposium on Reliable Distributed Systems SRDS 2006, October 2-4, pp. 71\u201382 (2006)","DOI":"10.1109\/SRDS.2006.37"},{"key":"26_CR24","unstructured":"Sovarel, A.N., Evans, D., Paul, N.: Where\u2019s the feeb?: The effectiveness of instruction set randomization. In: Proceedings of the 14th USENIX security symposium, pp. 145\u2013160. Usenix Association (2005)"},{"key":"26_CR25","unstructured":"Xu, J., Kalbarczyk, Z., Iyer, R.K.: Transparent runtime randomization for security. In: Proceedings of SRDS, October 2003, pp. 260\u2013269 (2003)"},{"issue":"2","key":"26_CR26","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1049\/iet-sen.2008.0065","volume":"3","author":"W. Zhao","year":"2009","unstructured":"Zhao, W., Zhang, H.: Proactive service migration for long-running byzantine fault-tolerant systems. IET Software\u00a03(2), 154\u2013164 (2009)","journal-title":"IET Software"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10877-8_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:43:08Z","timestamp":1619768588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10877-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642108761","9783642108778"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10877-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}