{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T04:12:40Z","timestamp":1750911160435,"version":"3.41.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T00:00:00Z","timestamp":1506988800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s10766-017-0523-0","type":"journal-article","created":{"date-parts":[[2017,10,4]],"date-time":"2017-10-04T08:12:12Z","timestamp":1507104732000},"page":"788-805","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["RollSec: Automatically Secure Software States Against General Rollback"],"prefix":"10.1007","volume":"46","author":[{"given":"Weiqi","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yukun","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weizhong","family":"Qiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deqing","family":"Zou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shouhuai","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongze","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,3]]},"reference":[{"key":"523_CR1","unstructured":"Anati, I., Gueron, S., Johnson, S., Scarlata, V.: Innovative technology for CPU based attestation and sealing. In: Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy (2013)"},{"key":"523_CR2","unstructured":"Berger, S., Cceres, R., Goldman, K.A., Perez, R., Sailer, R., van Doorn, L.: vTPM: virtualizing the trusted platform module. In: Proceedings of the 15th Conference on USENIX Security Symposium, pp. 305\u2013320 (2006)"},{"key":"523_CR3","doi-asserted-by":"crossref","unstructured":"Chandra, R., Kim, T., Zeldovich, N.: Asynchronous intrusion recovery for interconnected web services. In: Proceedings of the 24th ACM Symposium on Operating Systems Principles, pp. 213\u2013227. ACM (2013)","DOI":"10.1145\/2517349.2522725"},{"key":"523_CR4","unstructured":"Chen, H., Kim, T., Wang, X., Zeldovich, N., Kaashoek, M.F.: Identifying information disclosure in web applications with retroactive auditing. In: Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, pp. 555\u2013569 (2014)"},{"key":"523_CR5","unstructured":"Developers, N.: Neo4j. Graph NoSQL Database (2012)"},{"issue":"3","key":"523_CR6","doi-asserted-by":"crossref","first-page":"1302","DOI":"10.1007\/s11227-013-0884-0","volume":"65","author":"IP Egwutuoha","year":"2013","unstructured":"Egwutuoha, I.P., Levy, D., Selic, B., Chen, S.: A survey of fault tolerance mechanisms and checkpoint\/restart implementations for high performance computing systems. J. Supercomput. 65(3), 1302\u20131326 (2013)","journal-title":"J. Supercomput."},{"issue":"3","key":"523_CR7","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"EN Elnozahy","year":"2002","unstructured":"Elnozahy, E.N., Alvisi, L., Wang, Y.M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv. 34(3), 375\u2013408 (2002)","journal-title":"ACM Comput. Surv."},{"key":"523_CR8","doi-asserted-by":"crossref","unstructured":"Fu, M., Bass, L., Liu, A.: Towards a taxonomy of cloud recovery strategies. In: Proceedings of the 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 696\u2013701. IEEE (2014)","DOI":"10.1109\/DSN.2014.70"},{"key":"523_CR9","doi-asserted-by":"crossref","unstructured":"Fu, M., Zhu, L., Bass, L., Liu, A.: Recovery for failures in rolling upgrade on clouds. In: Proceedings of the 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 642\u2013647. IEEE (2014)","DOI":"10.1109\/DSN.2014.63"},{"key":"523_CR10","unstructured":"Garfinkel, T., Rosenblum, M.: When virtual is harder than real: security challenges in virtual machine based computing environments. In: Proceedings of 10th Workshop on Hot Topics in Operating Systems (2005)"},{"key":"523_CR11","unstructured":"Greene, J.: Intel trusted execution technology. Intel Technology White Paper (2012)"},{"issue":"4","key":"523_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1186736.1186737","volume":"34","author":"JL Henning","year":"2006","unstructured":"Henning, J.L.: SPEC CPU2006 benchmark descriptions. ACM SIGARCH Comput. Archit. News 34(4), 1\u201317 (2006)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"key":"523_CR13","doi-asserted-by":"crossref","unstructured":"Honarmand, N., Torrellas, J.: Replay debugging: leveraging record and replay for program debugging. In: Proceedings of the 41st International Symposium on Computer Architecture, pp. 445\u2013456. IEEE (2014)","DOI":"10.1109\/ISCA.2014.6853229"},{"issue":"5","key":"523_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11432-015-5292-z","volume":"59","author":"H Jin","year":"2016","unstructured":"Jin, H., Dai, W., Zou, D.: Theory and methodology of research on cloud security. Sci. China Inf. Sci. 59(5), 1\u20133 (2016)","journal-title":"Sci. China Inf. Sci."},{"key":"523_CR15","unstructured":"Jin, H., Zou, D., Dai, W., Wang, F.: Synchronized virtual trusted platform modules (vTPM) and virtual machine (VM) rollbacks (2016). US Patent 9,275,240"},{"key":"523_CR16","doi-asserted-by":"crossref","unstructured":"Jin, S., Ahn, J., Cha, S., Huh, J.: Architectural support for secure virtualization under a vulnerable hypervisor. In: Proceedings of the 44th Annual IEEE\/ACM International Symposium on Microarchitecture, pp. 272\u2013283. IEEE (2011)","DOI":"10.1145\/2155620.2155652"},{"key":"523_CR17","unstructured":"Kalleberg, K.T.: Programming language independent abstract syntax trees (2003). http:\/\/www.ii.uib.no\/~karltk\/phd\/nwpt03-presentation.pdf"},{"key":"523_CR18","unstructured":"Maruyama, M., Tsumura, T., Nakashima, H.: Parallel program debugging based on data-replay. In: Proceedings of the International Conference on Parallel and Distributed Computing Systems, pp. 151\u2013156 (2005)"},{"key":"523_CR19","unstructured":"Matetic, S., Ahmed, M., Kostiainen, K., Dhar, A., Sommer, D., Gervais, A., Juels, A., Capkun, S.: ROTE: rollback protection for trusted execution. Cryptology ePrint Archive (2017)"},{"key":"523_CR20","doi-asserted-by":"crossref","unstructured":"McCune, J.M., Li, Y., Qu, N., Zhou, Z., Datta, A., Gligor, V., Perrig, A.: TrustVisor: efficient TCB reduction and attestation. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 143\u2013158. IEEE (2010)","DOI":"10.1109\/SP.2010.17"},{"key":"523_CR21","doi-asserted-by":"crossref","unstructured":"Narayanasamy, S., Pokam, G., Calder, B.: Bugnet: continuously recording program execution for deterministic replay debugging. In: Proceedings of the 32nd International Symposium on Computer Architecture, pp. 284\u2013295 (2005)","DOI":"10.1145\/1080695.1069994"},{"key":"523_CR22","doi-asserted-by":"crossref","unstructured":"Parno, B., Lorch, J.R., Douceur, J.R., Mickens, J., McCune, J.M.: Memoir: practical state continuity for protected modules. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 379\u2013394. IEEE (2011)","DOI":"10.1109\/SP.2011.38"},{"key":"523_CR23","doi-asserted-by":"crossref","unstructured":"Pokam, G., Danne, K., Pereira, C., Kassa, R., Kranich, T., Hu, S., Gottschlich, J., Honarmand, N., Dautenhahn, N., King, S.T., Torrellas, J.: QuickRec: prototyping an Intel architecture extension for record and replay of multithreaded programs. In: Proceedings of the 40th Annual International Symposium on Computer Architecture, pp. 643\u2013654. IEEE (2013)","DOI":"10.1145\/2485922.2485977"},{"key":"523_CR24","doi-asserted-by":"crossref","unstructured":"Sherry, J., Gao, P.X., Basu, S., Panda, A., Krishnamurthy, A., Maciocco, C., Manesh, M., Martins, J., Ratnasamy, S., Rizzo, L., Shenker, S.: Rollback-recovery for middleboxes. In: Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, pp. 227\u2013240. ACM (2015)","DOI":"10.1145\/2785956.2787501"},{"key":"523_CR25","unstructured":"Srinivasan, S.M., Kandula, S., Andrews, C.R., Zhou, Y.: Flashback: a lightweight extension for rollback and deterministic replay for software debugging. In: Proceedings of the USENIX Annual Technical Conference, pp. 29\u201344 (2004)"},{"key":"523_CR26","doi-asserted-by":"crossref","unstructured":"Strackx, R., Jacobs, B., Piessens, F.: ICE: a passive, high-speed, state-continuity scheme. In: Proceedings of the 30th Annual Computer Security Applications Conference, pp. 106\u2013115. ACM (2014)","DOI":"10.1145\/2664243.2664259"},{"key":"523_CR27","unstructured":"Strackx, R., Piessens, F.: Ariadne: a minimal approach to state continuity. In: Proceedings of 25th USENIX Security Symposium, pp. 875\u2013892 (2016)"},{"key":"523_CR28","doi-asserted-by":"crossref","unstructured":"Szefer, J., Lee, R.B.: Architectural support for hypervisor-secure virtualization. In: Proceedings of the 17th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 437\u2013450. ACM (2012)","DOI":"10.1145\/2150976.2151022"},{"issue":"3","key":"523_CR29","first-page":"67","volume":"31","author":"Y Wang","year":"2010","unstructured":"Wang, Y., Yang, L., Sun, W.: Implementation of IBM vTPM with Xen. J. Mil. Commun. Technol. 31(3), 67\u201371 (2010)","journal-title":"J. Mil. Commun. Technol."},{"key":"523_CR30","doi-asserted-by":"crossref","unstructured":"Xia, Y., Liu, Y., Chen, H., Zang, B.: Defending against VM rollback attack. In: Proceedings of International Conference on Dependable Systems and Networks Workshops, pp. 1\u20135 (2012)","DOI":"10.1109\/DSNW.2012.6264690"},{"key":"523_CR31","doi-asserted-by":"crossref","unstructured":"Yamaguchi, F., Golde, N., Arp, D., Rieck, K.: Modeling and discovering vulnerabilities with code property graphs. In: Proceeedings of IEEE Symposium on Security and Privacy, pp. 590\u2013604. IEEE (2014)","DOI":"10.1109\/SP.2014.44"},{"key":"523_CR32","doi-asserted-by":"crossref","unstructured":"Zhang, F., Chen, J., Chen, H., Zang, B.: CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. In: Proceedings of the 23rd ACM Symposium on Operating Systems Principles, pp. 203\u2013216. ACM (2011)","DOI":"10.1145\/2043556.2043576"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-017-0523-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-017-0523-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-017-0523-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T00:15:43Z","timestamp":1750896943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-017-0523-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,3]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["523"],"URL":"https:\/\/doi.org\/10.1007\/s10766-017-0523-0","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2017,10,3]]}}}