{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T16:25:33Z","timestamp":1708359933015},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T00:00:00Z","timestamp":1346716800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11227-012-0818-2","type":"journal-article","created":{"date-parts":[[2012,9,3]],"date-time":"2012-09-03T07:07:02Z","timestamp":1346656022000},"page":"1390-1417","source":"Crossref","is-referenced-by-count":4,"title":["Component survivability at runtime for mission-critical distributed systems"],"prefix":"10.1007","volume":"66","author":[{"given":"Joon S.","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pratheep","family":"Chandramohan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avinash T.","family":"Suresh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph V.","family":"Giordano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin A.","family":"Kwiat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,4]]},"reference":[{"issue":"3","key":"818_CR1","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/1013202.1013205","volume":"4","author":"R Barga","year":"2004","unstructured":"Barga R, Lomet D, Shegalov G, Weikum G (2004) Recovery guarantees for internet applications. ACM Trans Internet Technol 4(3):289\u2013328","journal-title":"ACM Trans Internet Technol"},{"key":"818_CR2","first-page":"407","volume-title":"Proceedings of the 13th international conference on very large data bases","author":"JC Freytag","year":"1987","unstructured":"Freytag JC, Cristian F, K\u00e4hler B (1987) Making system crashes in database application programs. In: Proceedings of the 13th international conference on very large data bases, Brighton, England, 1\u20134 September 1987, pp 407\u2013416"},{"key":"818_CR3","first-page":"460","volume-title":"Proceedings of the ACM SIGMOD international conference on management of data","author":"D Lomet","year":"1998","unstructured":"Lomet D, Weikum G (1998) Efficient transparent application recovery in client-server information systems. In: Proceedings of the ACM SIGMOD international conference on management of data. ACM, New York, pp 460\u2013471"},{"key":"818_CR4","first-page":"462","volume-title":"Proceedings of the 7th international conference on extending database technology: advances in database technology","author":"RS Barga","year":"2000","unstructured":"Barga RS, Lomet DB, Baby T, Agrawal S (2000) Persistent client-server database sessions. In: Proceedings of the 7th international conference on extending database technology: advances in database technology, Konstanz, Germany, 27\u201331 March 2000, pp 462\u2013477"},{"issue":"3","key":"818_CR5","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1109\/TASE.2009.2034136","volume":"7","author":"K Andersson","year":"2010","unstructured":"Andersson K, Lennartson B, Fabian M (2010) Restarting manufacturing systems; restart states and restartability. IEEE Trans Autom Sci Eng 7(3):486\u2013499","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"818_CR6","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1109\/ICDE.1998.655771","volume-title":"Proceedings of the 14th IEEE international conference on data engineering (ICDE)","author":"DB Lomet","year":"1998","unstructured":"Lomet DB (1998) Persistent applications using generalized redo recovery. In: Proceedings of the 14th IEEE international conference on data engineering (ICDE), Orlando, FL, pp 154\u2013163"},{"issue":"1","key":"818_CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008731200105","volume":"8","author":"P Liu","year":"2000","unstructured":"Liu P, Ammann P, Jajodia S (2000) Rewriting histories: recovering from malicious transactions. Distrib Parallel Databases 8(1):7\u201340","journal-title":"Distrib Parallel Databases"},{"issue":"7","key":"818_CR8","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/306549.306580","volume":"42","author":"S Jajodia","year":"1999","unstructured":"Jajodia S, McCollum CD, Ammann P (1999) Trusted recovery. Commun ACM 42(7):71\u201375","journal-title":"Commun ACM"},{"key":"818_CR9","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1145\/1075405.1075425","volume-title":"Proceedings of the 1st ACM SIGSOFT workshop on self-managed systems","author":"S Ring","year":"2004","unstructured":"Ring S, Esler D, Cole E (2004) Self-healing mechanisms for kernel system compromises. In: Proceedings of the 1st ACM SIGSOFT workshop on self-managed systems. ACM, New York, pp 100\u2013104"},{"issue":"2","key":"818_CR10","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TR.2011.2136490","volume":"60","author":"Y Dai","year":"2011","unstructured":"Dai Y, Xiang Y, Li Y, Xing L, Zhang G (2011) Consequence oriented self-healing and autonomous diagnosis for highly reliable systems and software. IEEE Trans Reliab 60(2):369\u2013380","journal-title":"IEEE Trans Reliab"},{"key":"818_CR11","first-page":"92","volume-title":"Proceedings of the international conference on communications and intelligence information security","author":"Q Meng","year":"2010","unstructured":"Meng Q, Zhou R-P, Yang X-H (2010) Design and implementation of an intrusion-tolerant self-healing application server. In: Proceedings of the international conference on communications and intelligence information security. IEEE Computer Society, Washington, pp 92\u201395. doi: 10.1109\/ICCIIS.2010.69"},{"key":"818_CR12","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/1075405.1075413","volume-title":"Proceedings of the 1st ACM SIGSOFT workshop on self-managed systems","author":"J Dowling","year":"2004","unstructured":"Dowling J, Cahill V (2004) Self-managed decentralised systems using k-components and collaborative reinforcement learning. In: Proceedings of the 1st ACM SIGSOFT workshop on self-managed systems. ACM, New York, pp 39\u201343"},{"key":"818_CR13","first-page":"28","volume-title":"Proceedings of the third international joint conference on autonomous agents and multiagent systems","author":"A Helsinger","year":"2004","unstructured":"Helsinger A, Kleinmann K, Brinn M (2004) A\u00a0framework to control emergent survivability of multi agent systems. In: Proceedings of the third international joint conference on autonomous agents and multiagent systems. IEEE Computer Society, Washington, pp 28\u201335"},{"issue":"1","key":"818_CR14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M Abadi","year":"1993","unstructured":"Abadi M, Lamport L (1993) Composing specifications. ACM Trans Program Lang Syst 15(1):73\u2013132","journal-title":"ACM Trans Program Lang Syst"},{"key":"818_CR15","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1016\/j.infsof.2008.07.001","volume":"51","author":"H Liu","year":"2009","unstructured":"Liu H, Kuan Tan HB (2009) Covering code behavior on input validation in functional testing. Inf Softw Technol 51:546\u2013553. http:\/\/portal.acm.org\/citation.cfm?id=1465741.1466065","journal-title":"Inf Softw Technol"},{"key":"818_CR16","unstructured":"Voas JM, Miller KW, Payne J (1992) PISCES: a\u00a0tool for predicting software testability. NASA tech rep"},{"key":"818_CR17","first-page":"363","volume-title":"Proceedings of the 23rd IEEE\/ACM international conference on automated software engineering","author":"B Daniel","year":"2008","unstructured":"Daniel B, Boshernitsan M (2008) Predicting effectiveness of automatic testing tools. In: Proceedings of the 23rd IEEE\/ACM international conference on automated software engineering. IEEE Computer Society, Washington, pp 363\u2013366. doi: 10.1109\/ASE.2008.49"},{"key":"818_CR18","first-page":"353","volume-title":"Proceedings of the 10th international conference on quality software","author":"F Omar","year":"2010","unstructured":"Omar F, Ibrahim S (2010) Designing test coverage for grey box analysis. In: Proceedings of the 10th international conference on quality software. IEEE Computer Society, Washington, pp 353\u2013356. doi: 10.1109\/QSIC.2010.44"},{"issue":"2\u20133","key":"818_CR19","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0164-1212(99)00143-0","volume":"52","author":"JM Voas","year":"2000","unstructured":"Voas JM, Payne J (2000) Dependability certification of software components. J Syst Softw 52(2\u20133):165\u2013172","journal-title":"J Syst Softw"},{"key":"818_CR20","doi-asserted-by":"crossref","first-page":"1780","DOI":"10.1016\/j.jss.2010.04.063","volume":"83","author":"N Suri","year":"2010","unstructured":"Suri N, Jhumka A, Hiller M, Pataricza A, Islam S, S\u00edrbu C (2010) A software integration approach for designing and assessing dependable embedded systems. J Syst Softw 83:1780\u20131800. doi: 10.1016\/j.jss.2010.04.063","journal-title":"J Syst Softw"},{"key":"818_CR21","volume-title":"Proceedings of the software risk management conference (ISACC)","author":"G Kapfhammer","year":"2000","unstructured":"Kapfhammer G, Michael C, Haddox J, Colyer R (2000) An approach to identifying and understanding problematic COTS components. In: Proceedings of the software risk management conference (ISACC), Reston, VA"},{"issue":"3","key":"818_CR22","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1109\/24.537015","volume":"45","author":"DR Avresky","year":"1996","unstructured":"Avresky DR, Arlat J, Laprie J-C, Crouzet Y (1996) Fault injection for formal testing of fault tolerance. IEEE Trans Reliab 45(3):443\u2013455","journal-title":"IEEE Trans Reliab"},{"issue":"4","key":"818_CR23","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"M-C Hsueh","year":"1997","unstructured":"Hsueh M-C, Tsai TK, Iyer RK (1997) Fault injection techniques and tools. Computer 30(4):75\u201382","journal-title":"Computer"},{"key":"818_CR24","first-page":"417","volume-title":"Proceedings of the international conference on dependable systems and networks (DNS)","author":"H Madeira","year":"2000","unstructured":"Madeira H, Costa D, Vieira M (2000) On the emulation of software faults by software fault injection. In: Proceedings of the international conference on dependable systems and networks (DNS). IEEE Computer Society, Washington, pp 417\u2013426"},{"issue":"6","key":"818_CR25","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MDT.2009.135","volume":"26","author":"D Lee","year":"2009","unstructured":"Lee D, Na J (2009) A novel simulation fault injection method for dependability analysis. IEEE Des Test Comput 26(6):50\u201361","journal-title":"IEEE Des Test Comput"},{"key":"818_CR26","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/MVHI.2010.46","volume-title":"Proceedings of the international conference on machine vision and human-machine interface","author":"H Zhang","year":"2010","unstructured":"Zhang H (2010) Research about software fault injection technology based on distributed system. In: Proceedings of the international conference on machine vision and human-machine interface. IEEE Computer Society, Washington, pp 518\u2013521. doi: 10.1109\/MVHI.2010.46"},{"key":"818_CR27","volume-title":"Software fault injection: innoculating programs against errors","author":"JM Voas","year":"1998","unstructured":"Voas JM, McGraw G (1998) Software fault injection: innoculating programs against errors. Wiley Computer, New York"},{"key":"818_CR28","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1109\/DSN.2002.1029005","volume-title":"Proceedings of the international conference on dependable systems and networks (DSN)","author":"MY Chen","year":"2002","unstructured":"Chen MY, Kiciman E, Fratkin E, Fox A, Brewer E (2002) Pinpoint: problem determination in large, dynamic internet services. In: Proceedings of the international conference on dependable systems and networks (DSN). IEEE Computer Society, Washington, pp 595\u2013604"},{"key":"818_CR29","volume-title":"Proceedings of the 3rd IEEE information survivability workshop (ISW)","author":"J Knight","year":"2000","unstructured":"Knight J, Sullivan K (2000) Towards a definition of survivability. In: Proceedings of the 3rd IEEE information survivability workshop (ISW), Boston, MA, October 2000"},{"key":"818_CR30","first-page":"21","volume-title":"Proceedings of the new security paradigms workshop (NSPW\u201999)","author":"H Lipson","year":"1999","unstructured":"Lipson H, Fisher D (1999) Survivability\u2014a\u00a0new technical and business perspective on security. In: Proceedings of the new security paradigms workshop (NSPW\u201999), Ontario, Canada, 21\u201324 September 1999, pp 21\u201324"},{"key":"818_CR31","first-page":"10","volume-title":"Proceedings of the 37th annual Hawaii international conference on systems sciences","author":"V Westmark","year":"2004","unstructured":"Westmark V (2004) A definition for information system survivability. In: Proceedings of the 37th annual Hawaii international conference on systems sciences, January 2004, p\u00a010"},{"key":"818_CR32","volume-title":"Proceedings of the computer security, dependability, and assurance workshop","author":"J Knight","year":"1998","unstructured":"Knight J, Elder M, Du X (1998) Error recovery in critical infrastructure systems. In: Proceedings of the computer security, dependability, and assurance workshop, Williamsburg, VA, November 1998"},{"key":"818_CR33","volume-title":"Proceedings of the 4th IEEE\/CMU\/SEI information survivability workshop (ISW)","author":"JS Park","year":"2002","unstructured":"Park JS, Froscher JN (2002) A strategy for information survivability. In: Proceedings of the 4th IEEE\/CMU\/SEI information survivability workshop (ISW), Vancouver, Canada, 18\u201320 March 2002"},{"key":"818_CR34","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/MWC.2010.5601961","volume":"17","author":"OM Al-kofahi","year":"2010","unstructured":"Al-kofahi OM, Kamal AE (2010) Survivability strategies in multihop wireless networks. IEEE Wirel Commun 17:71\u201380. http:\/\/portal.acm.org\/citation.cfm?id=1921927.1921941","journal-title":"IEEE Wirel Commun"},{"key":"818_CR35","first-page":"403","volume-title":"Cyber warfare and cyber terrorism","author":"JS Park","year":"2008","unstructured":"Park JS, Giordano J (2008) Software component survivability in information warfare. In: Janczewski LJ, Colarik AM (eds) Cyber warfare and cyber terrorism. Idea Group Publishing, Hershey, pp 403\u2013411"},{"key":"818_CR36","volume-title":"Proceedings of the 37th Hawaii international conference on systems sciences (HICSS-37)","author":"JS Park","year":"2004","unstructured":"Park JS, Chandramohan P (2004) Component recovery approaches for survivable distributed systems. In: Proceedings of the 37th Hawaii international conference on systems sciences (HICSS-37), Big Island, HI, 5\u20138 January 2004"},{"key":"818_CR37","volume-title":"Proceedings of the 16th IASTED (international association of science and technology for development) conference on parallel and distributed computing and systems (PDCS)","author":"JS Park","year":"2004","unstructured":"Park JS, Chandramohan P, Giordano J (2004) Survivability models and implementations in large distributed environments. In: Proceedings of the 16th IASTED (international association of science and technology for development) conference on parallel and distributed computing and systems (PDCS), 8\u201310 November 2004. MIT, Cambridge"},{"key":"818_CR38","volume-title":"Proceedings of he 20th IFIP international conference on information security (IFIP\/SEC\u00a02005)","author":"JS Park","year":"2005","unstructured":"Park JS, Chandramohan P, Devarajan G, Giordano J (2005) Trusted component sharing by runtime test and immunization for survivable distributed systems. In: Proceedings of he 20th IFIP international conference on information security (IFIP\/SEC\u00a02005), Chiba, Japan, 30 May\u20131 June 2005"},{"key":"818_CR39","first-page":"102","volume-title":"Proceedings of the 8th IASTED (international association of science and technology for development) conference on software engineering and application (SEA)","author":"JS Park","year":"2004","unstructured":"Park JS, Chandramohan P, Giordano J (2004) Component-abnormality detection and immunization for survivable systems in large distributed environments. In: Proceedings of the 8th IASTED (international association of science and technology for development) conference on software engineering and application (SEA), November 2004. MIT, Cambridge, pp 102\u2013108"},{"issue":"10","key":"818_CR40","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/226239.226255","volume":"38","author":"DC Schmidt","year":"1995","unstructured":"Schmidt DC (1995) Using design patterns to develop reusable object-oriented communication software. Commun ACM 38(10):65\u201374","journal-title":"Commun ACM"},{"key":"818_CR41","volume-title":"An object-oriented approach to programming logic and design","author":"J Farrell","year":"2010","unstructured":"Farrell J (2010) An object-oriented approach to programming logic and design, 3rd edn. Course Technology Press, Boston","edition":"3"},{"key":"818_CR42","unstructured":"Jikes bytecode toolkit\u2014IBM Alpha works, SourceForge. http:\/\/jikes.sourceforge.net\/"},{"key":"818_CR43","unstructured":"Enhanced management controls using digital signatures and attribute certificates. American National Standards Institute (ANSI), 1999, ANSI X9.45-1999"},{"key":"818_CR44","doi-asserted-by":"crossref","unstructured":"Milenkovic M, Milenkovic aEJA (2005) Using instruction block signatures to counter code injection attacks. ACM SIGARCH Comput Arch 33(1)","DOI":"10.1145\/1055626.1055641"},{"key":"818_CR45","volume-title":"Proceedings of the IEEE information survivability workshop (ISW)","author":"DL Oppenheimer","year":"1997","unstructured":"Oppenheimer DL, Martonosi MR (1997) Performance signatures: A mechanism for intrusion detection. In: Proceedings of the IEEE information survivability workshop (ISW), San Diego, CA, February 1997"},{"key":"818_CR46","first-page":"466","volume-title":"Proceedings of the 20th international conference on advanced information networking and applications (AINA \u201906), vol\u00a02","author":"JS Park","year":"2006","unstructured":"Park JS, Jayaprakash G, Giordano J (2006) Component integrity check and recovery against malicious codes. In: Proceedings of the 20th international conference on advanced information networking and applications (AINA \u201906), vol\u00a02. IEEE Computer Society, Washington, pp 466\u2013470. doi: 10.1109\/AINA.2006.131"},{"key":"818_CR47","volume-title":"Proceedings of the 16th annual conference on computer security application (ACSAC)","author":"JS Park","year":"2000","unstructured":"Park JS, Sandhu R (2000) Binding identities and attributes using digitally signed certificates. In: Proceedings of the 16th annual conference on computer security application (ACSAC), New Orleans, LA, 11\u201315 December 2000"},{"key":"818_CR48","volume-title":"Proceedings of the 40th Hawaii international conference on systems sciences (HICSS-40)","author":"JS Park","year":"2007","unstructured":"Park JS, Devarajan G (2007) Fine-grained and scalable approaches for message integrity. In: Proceedings of the 40th Hawaii international conference on systems sciences (HICSS-40), Big Island, HI, 3\u20136 January 2007"},{"key":"818_CR49","unstructured":"Microsoft .NET, Microsoft, http:\/\/www.microsoft.com\/net\/"},{"key":"818_CR50","volume-title":"Proceedings of the IEEE workshop on trusted collaboration (TrustCol)","author":"JS Park","year":"2006","unstructured":"Park JS, Suresh AT, An G, Giordano J (2006) A framework of multiple-aspect component-testing for trusted collaboration in mission-critical systems. In: Proceedings of the IEEE workshop on trusted collaboration (TrustCol), Atlanta, CA, 17\u201320 November 2006"},{"key":"818_CR51","volume-title":"Proceedings of the 20th IASTED (international association of science and technology for development) conference on parallel and distributed computing and systems (PDCS)","author":"JS Park","year":"2008","unstructured":"Park JS, An G, Suresh A (2008) Multiple-aspect malicious code detection for component survivability in distributed computing environments. In: Proceedings of the 20th IASTED (international association of science and technology for development) conference on parallel and distributed computing and systems (PDCS), November 2008. ACTA, Calgary"},{"issue":"2","key":"818_CR52","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1109\/32.44387","volume":"16","author":"SS Brilliant","year":"1990","unstructured":"Brilliant SS, Knight JC, Leveson NG (1990) Analysis of faults in an n-version software experiment. IEEE Trans Softw Eng 16(2):238\u2013247","journal-title":"IEEE Trans Softw Eng"},{"key":"818_CR53","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/ISSRE.2005.7","volume-title":"Proceedings of the 16th IEEE international symposium on software reliability engineering","author":"X Cai","year":"2005","unstructured":"Cai X, Lyu MR, Vouk MA (2005) An experimental evaluation on reliability features of n-version programming. In: Proceedings of the 16th IEEE international symposium on software reliability engineering, November 2005. IEEE Computer Society, Washington, pp 161\u2013170"},{"key":"818_CR54","volume-title":"Proceedings of the 27th EUROMICRO conference","author":"M Ege","year":"2001","unstructured":"Ege M, Eyler MA, Karakas MU (2001) Reliability analysis in n-version programming with dependent failures. In: Proceedings of the 27th EUROMICRO conference, September 2001. IEEE Computer Society, Warsaw"},{"key":"818_CR55","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/MSP.2008.57","volume":"6","author":"In Goirizelaia","year":"2008","unstructured":"Goirizelaia In, Selker T, Huarte M, Unzilla J (2008) An optical scan e-voting system based on n-version programming. IEEE Secur Priv 6:47\u201353. http:\/\/portal.acm.org\/citation.cfm?id=1383047.1383189","journal-title":"IEEE Secur Priv"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-012-0818-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-012-0818-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-012-0818-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T05:44:38Z","timestamp":1562132678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-012-0818-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,4]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["818"],"URL":"https:\/\/doi.org\/10.1007\/s11227-012-0818-2","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,4]]}}}