{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:37Z","timestamp":1759032397228},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"S6","license":[{"start":{"date-parts":[[2018,3,2]],"date-time":"2018-03-02T00:00:00Z","timestamp":1519948800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Shanxi Natural Science Foundation Research Project","award":["No. 2017JM6105"],"award-info":[{"award-number":["No. 2017JM6105"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1007\/s10586-018-2233-9","type":"journal-article","created":{"date-parts":[[2018,3,2]],"date-time":"2018-03-02T05:20:36Z","timestamp":1519968036000},"page":"14049-14059","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A formal framework for software faults and permissions based on unified theory of programming"],"prefix":"10.1007","volume":"22","author":[{"given":"Zhilin","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaojian","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,2]]},"reference":[{"issue":"12","key":"2233_CR1","doi-asserted-by":"publisher","first-page":"3151","DOI":"10.1109\/TAC.2014.2351632","volume":"59","author":"P Tabuada","year":"2014","unstructured":"Tabuada, P., Caliskan, S.Y., Rungger, M., et al.: Towards robustness for cyber-physical systems. IEEE Trans. Autom. Control 59(12), 3151\u20133163 (2014)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"2233_CR2","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/SURV.2013.101613.00077","volume":"16","author":"G Suareztangil","year":"2014","unstructured":"Suareztangil, G., Tapiador, J.E., Perislopez, P., et al.: Evolution, detection and analysis of malware for smart devices. IEEE Commun. Surv. Tutor. 16(2), 961\u2013987 (2014)","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"4","key":"2233_CR3","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/2733306","volume":"47","author":"TDJ Sufatrio","year":"2015","unstructured":"Sufatrio, T.D.J., Chua, T., et al.: Securing android: a survey, taxonomy, and challenges. ACM Comput. Surv. 47(4), 58\u2013102 (2015)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"2233_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/2494522","volume":"57","author":"W Enck","year":"2014","unstructured":"Enck, W., Gilbert, P., Chun, B.-G., Cox, L.P., Jung, J., McDaniel, P., et al.: Taintdroid: an information flow tracking system for real-time privacy monitoring on smartphones. Commun. ACM 57(3), 99\u2013106 (2014)","journal-title":"Commun. ACM"},{"issue":"1","key":"2233_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s00165-014-0309-8","volume":"27","author":"H Zhu","year":"2015","unstructured":"Zhu, H., He, J., Qin, S., et al.: Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. 27(1), 133\u2013166 (2015)","journal-title":"Formal Aspects Comput."},{"issue":"1","key":"2233_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., et al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Depend. Secur. Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Depend. Secur. Comput."},{"issue":"1","key":"2233_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/TSE.1985.231534","volume":"11","author":"F Cristian","year":"1985","unstructured":"Cristian, F.: A rigorous approach to fault-tolerant programming]. IEEE Trans. Softw. Eng. 11(1), 23\u201331 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"2233_CR8","first-page":"471","volume":"8","author":"A Sari","year":"2015","unstructured":"Sari, A., Akkaya, M.: Fault tolerance mechanisms in distributed systems. Int. J. Commun. Netw. Syst. Sci. 8(12), 471\u2013482 (2015)","journal-title":"Int. J. Commun. Netw. Syst. Sci."},{"issue":"3","key":"2233_CR9","first-page":"15","volume":"9","author":"J Chen","year":"2014","unstructured":"Chen, J., Ebnenasir, A., Kulkarni, S.S., et al.: The complexity of adding multitolerance. ACM Trans. Auton. Adapt. Syst. 9(3), 15\u201348 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"3","key":"2233_CR10","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/2841425","volume":"48","author":"R Natella","year":"2016","unstructured":"Natella, R., Cotroneo, D., Madeira, H., et al.: Assessing dependability with software fault injection: a survey. ACM Comput. Surv. 48(3), 44\u201398 (2016)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"2233_CR11","doi-asserted-by":"publisher","first-page":"927","DOI":"10.1109\/TR.2014.2338255","volume":"63","author":"P Zheng","year":"2014","unstructured":"Zheng, P., Qi, Y., Zhou, Y., et al.: An automatic framework for detecting and characterizing performance degradation of software systems. IEEE Trans. Reliab. 63(4), 927\u2013943 (2014)","journal-title":"IEEE Trans. Reliab."},{"issue":"1","key":"2233_CR12","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2539117","volume":"10","author":"D Cotroneo","year":"2014","unstructured":"Cotroneo, D., Natella, R., Pietrantuono, R., et al.: A survey of software aging and rejuvenation studies. ACM J. Emerg. Technol. Comput. Syst. 10(1), 8\u201342 (2014)","journal-title":"ACM J. Emerg. Technol. Comput. Syst."},{"issue":"2","key":"2233_CR13","first-page":"240","volume":"66","author":"R Hajisheykhi","year":"2017","unstructured":"Hajisheykhi, R., Roohitavaf, M., Kulkarni, S.S., et al.: Bounded auditable restoration of distributed systems. IEEE Trans. Comput. 66(2), 240\u2013255 (2017)","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"2233_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s11334-013-0226-7","volume":"9","author":"A Dubey","year":"2013","unstructured":"Dubey, A., Karsai, G.: Software health management. Innov. Syst. Softw. Eng. 9(4), 217\u2013217 (2013)","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"10","key":"2233_CR15","doi-asserted-by":"publisher","first-page":"1375","DOI":"10.1002\/spe.2250","volume":"45","author":"C Schneider","year":"2015","unstructured":"Schneider, C., Barker, A., Dobson, S., et al.: A survey of self-healing systems frameworks. Softw. Pract. Exp. 45(10), 1375\u20131398 (2015)","journal-title":"Softw. Pract. Exp."},{"issue":"2","key":"2233_CR16","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1109\/COMST.2015.2416772","volume":"17","author":"M Peng","year":"2015","unstructured":"Peng, M., Wang, C., Li, J., et al.: Recent advances in underlay heterogeneous networks: interference control, resource allocation, and self-organization. IEEE Commun. Surv. Tutor. 17(2), 700\u2013729 (2015)","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"6","key":"2233_CR17","first-page":"227","volume":"49","author":"F Long","year":"2014","unstructured":"Long, F., Sidirogloudouskos, S., Rinard, M.C., et al.: Automatic runtime error repair and containment via recovery shepherding. Program. Lang. Des. Implement. 49(6), 227\u2013238 (2014)","journal-title":"Program. Lang. Des. Implement."},{"issue":"3","key":"2233_CR18","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1016\/j.neucom.2014.10.004","volume":"151","author":"S Sheen","year":"2015","unstructured":"Sheen, S., Anitha, R., Natarajan, V., et al.: Android based malware detection using a multifeature collaborative decision fusion approach. Neurocomputing 151(3), 905\u2013912 (2015)","journal-title":"Neurocomputing"},{"issue":"6","key":"2233_CR19","first-page":"259","volume":"49","author":"S Arzt","year":"2014","unstructured":"Arzt, S., Rasthofer, S., Fritz, C., et al.: FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. Program. Lang. Des. Implement. 49(6), 259\u2013269 (2014)","journal-title":"Program. Lang. Des. Implement."},{"issue":"2","key":"2233_CR20","doi-asserted-by":"publisher","first-page":"149","DOI":"10.7763\/IJCCE.2014.V3.310","volume":"3","author":"YJ Ham","year":"2014","unstructured":"Ham, Y.J., Lee, H.-W.: Detection of malicious android mobile applications based on aggregated system call events. Int. J. Comput. Commun. Eng. 3(2), 149\u2013154 (2014)","journal-title":"Int. J. Comput. Commun. Eng."},{"issue":"8","key":"2233_CR21","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-018-2233-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10586-018-2233-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-018-2233-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,26]],"date-time":"2019-11-26T12:10:33Z","timestamp":1574770233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10586-018-2233-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,2]]},"references-count":21,"journal-issue":{"issue":"S6","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["2233"],"URL":"https:\/\/doi.org\/10.1007\/s10586-018-2233-9","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"value":"1386-7857","type":"print"},{"value":"1573-7543","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,2]]},"assertion":[{"value":"25 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 February 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}