{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T05:23:18Z","timestamp":1740633798326,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166259"},{"type":"electronic","value":"9783642166266"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16626-6_23","type":"book-chapter","created":{"date-parts":[[2010,10,7]],"date-time":"2010-10-07T13:06:51Z","timestamp":1286456811000},"page":"213-222","source":"Crossref","is-referenced-by-count":3,"title":["OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes"],"prefix":"10.1007","author":[{"given":"Angel Jesus Varela","family":"Vaca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael Mart\u00ednez","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Business process execution language (2008), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"23_CR2","unstructured":"Business process model and notation (2009), http:\/\/www.omg.org\/spec\/BPMN\/1.2"},{"key":"23_CR3","first-page":"68","volume-title":"FTCS 1997: Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS 1997)","author":"R. Baldoni","year":"1997","unstructured":"Baldoni, R.: A communication-induced checkpointing protocol that ensures rollback-dependency trackability. In: FTCS 1997: Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS 1997), Washington, DC, USA, p. 68. IEEE Computer Society, Los Alamitos (1997) ISBN 0-8186-7831-3"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Baresi, L., Guinea, S., Plebani, M.: Business process monitoring for dependability. In: WADS, pp. 337\u2013361 (2006)","DOI":"10.1007\/978-3-540-74035-3_15"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Borrego, D., G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M., Ceballos, R.: Determination of an optimal test points allocation for business process analysis. In: IEEE\/IFIP Network Operations and Management Symposium Workshops, BDIM 2010 (2010) ISBN 978-1-4244-6039-7","DOI":"10.1109\/NOMSW.2010.5486584"},{"issue":"2","key":"23_CR6","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.1016\/S0304-3975(02)00566-2","volume":"290","author":"G. Cao","year":"2003","unstructured":"Cao, G., Singhal, M.: Checkpointing with mutable checkpoints. Theor. Comput. Sci.\u00a0290(2), 1127\u20131148 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Dobson, G.: Using ws-bpel to implement software fault tolerance for web services. In: EUROMICRO-SEAA, pp. 126\u2013133 (2006)","DOI":"10.1109\/EUROMICRO.2006.63"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Huang, L., Walker, D.W., Rana, O.F., Huang, Y.: Dynamic workflow management using performance data. In: IEEE International Symposium on Cluster, Cloud, and Grid Computing, pp. 154\u2013157 (2006)","DOI":"10.1109\/CCGRID.2006.37"},{"issue":"11","key":"23_CR9","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1016\/j.infsof.2007.10.014","volume":"50","author":"S.-M. Huang","year":"2008","unstructured":"Huang, S.-M., Chu, Y.-T., Li, S.-H., Yen, D.C.: Enhancing conflict detecting mechanism for web services composition: A business process flow model transformation approach. Inf. Softw. Technol.\u00a050(11), 1069\u20131087 (2008)","journal-title":"Inf. Softw. Technol."},{"issue":"8","key":"23_CR10","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1109\/71.238629","volume":"4","author":"J.L. Kim","year":"1993","unstructured":"Kim, J.L., Park, T.: An efficient protocol for checkpointing recovery in distributed systems. IEEE Trans. Parallel Distrib. Syst.\u00a04(8), 955\u2013960 (1993)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/11841760_38","volume-title":"Business Process Management","author":"J. Mendling","year":"2006","unstructured":"Mendling, J., Moser, M., Neumann, G., Verbeek, H.M.W., Vandongen, B.F.: Faulty epcs in the sap reference model. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 451\u2013457. Springer, Heidelberg (2006)"},{"key":"23_CR12","unstructured":"Miller, J., Mukerji, J.: Mda guide version 1.0.1. Technical report, Object Management Group, OMG (2003)"},{"key":"23_CR13","unstructured":"Ouyang, C., van der Alast, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Translating bpmn to bpel (2006)"},{"volume-title":"Handbook of Constraint Programming","year":"2006","key":"23_CR14","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier, Amsterdam (2006)"},{"issue":"2","key":"23_CR15","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.future.2009.07.015","volume":"26","author":"X. Shi","year":"2010","unstructured":"Shi, X., Pazat, J.-L., Rodriguez, E., Jin, H., Jiang, H.: Adapting grid applications to safety using fault-tolerant methods: Design, implementation and evaluations. Future Generation Computer Systems\u00a026(2), 236\u2013244 (2010)","journal-title":"Future Generation Computer Systems"},{"key":"23_CR16","volume-title":"Model-Driven Software Development: Technology, Engineering, Management","author":"T. Stahl","year":"2006","unstructured":"Stahl, T., V\u00f6lter, M.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Chichester (2006) ISBN 978-0-470-02570-3"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey, pp. 1\u201312 (2003)","DOI":"10.1007\/3-540-44895-0_1"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Varela-Vaca, A.J., Gasca, R.M., Borrego, D., Pozo, S.: Towards dependable business processes with fault-tolerance approach. In: 3rd International Conference on Dependability, DEPEND (2010)","DOI":"10.1109\/DEPEND.2010.24"},{"key":"23_CR19","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007) ISBN 978-3-540-73521-2"}],"container-title":["Advances in Intelligent and Soft Computing","Computational Intelligence in Security for Information Systems 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16626-6_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T12:57:59Z","timestamp":1740574679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16626-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166259","9783642166266"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16626-6_23","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2010]]}}}