{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:13:41Z","timestamp":1746245621457,"version":"3.40.4"},"publisher-location":"Cham","reference-count":59,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319074511"},{"type":"electronic","value":"9783319074528"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07452-8_6","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T01:53:43Z","timestamp":1400723623000},"page":"140-159","source":"Crossref","is-referenced-by-count":2,"title":["On the Synthesis of Secure Services Composition"],"prefix":"10.1007","author":[{"given":"Jose A.","family":"Mart\u00edn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Turuani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, H.R.: Partial model checking. In: LICS, p. 398. IEEE (1995)","DOI":"10.1109\/LICS.1995.523274"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando, A., et al.: The avispa tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-28756-5_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Armando","year":"2012","unstructured":"Armando, A., et al.: The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 267\u2013282. Springer, Heidelberg (2012)"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0304-3975(02)00442-5","volume":"303","author":"A. Arnold","year":"2003","unstructured":"Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical Computer Science\u00a0303(1), 7\u201334 (2003)","journal-title":"Theoretical Computer Science"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-19125-1_3","volume-title":"Engineering Secure Software and Systems","author":"W. Arsac","year":"2011","unstructured":"Arsac, W., Compagna, L., Pellegrino, G., Ponta, S.E.: Security validation of business processes via model-checking. In: Erlingsson, \u00da., Wieringa, R., Zannone, N. (eds.) ESSoS 2011. LNCS, vol.\u00a06542, pp. 29\u201342. Springer, Heidelberg (2011)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-60472-3_1","volume-title":"Hybrid Systems II","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Symbolic Controller Synthesis for Discrete and Timed Systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol.\u00a0999, pp. 1\u201320. Springer, Heidelberg (1995)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-28879-1_16","volume-title":"Data Privacy Management and Autonomous Spontaneus Security","author":"T. Avanesov","year":"2012","unstructured":"Avanesov, T., Chevalier, Y., Anis Mekki, M., Rusinowitch, M., Turuani, M.: Distributed Orchestration of Web Services under Security Constraints. In: Garcia-Alfaro, J., Navarro-Arribas, G., Cuppens-Boulahia, N., de Capitani di Vimercati, S. (eds.) DPM 2011 and SETOP 2011. LNCS, vol.\u00a07122, pp. 235\u2013252. Springer, Heidelberg (2012)"},{"key":"6_CR8","unstructured":"Avanesov, T., et al.: Intruder deducibility constraints with negation. Decidability and application to secured service compositions. CoRR, abs\/1207.4871 (2012)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-33704-8_12","volume-title":"Computer Network Security","author":"T. Avanesov","year":"2012","unstructured":"Avanesov, T., Chevalier, Y., Rusinowitch, M., Turuani, M.: Towards the Orchestration of Secured Services under Non-disclosure Policies. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2012. LNCS, vol.\u00a07531, pp. 130\u2013145. Springer, Heidelberg (2012)"},{"key":"6_CR10","unstructured":"AVANTSSAR. Deliverable 2.3 (update): ASLan++ specification and tutorial (2011), http:\/\/www.avantssar.eu"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2004.02.023","volume":"105","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for web service composition. Electr. Notes Theor. Comput. Sci.\u00a0105, 21\u201336 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Bao, L., Zhang, W., Zhang, X.: Describing and Verifying Web Service Using CCS. pdcat, 421\u2013426 (2006)","DOI":"10.1109\/PDCAT.2006.52"},{"key":"6_CR13","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Plans for Service Composition. In: Workshop on Issues in the Theory of Security (WITS) (2006)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11768869_1","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Bartoletti","year":"2006","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.-L.: Security issues in service composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 1\u201316. Springer, Heidelberg (2006)"},{"key":"6_CR15","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Types and Effects for Secure Service Orchestration. In: Proc. 19th Computer Security Foundations Workshop (CSFW) (2006)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., Ponge, J., Toumani, F.: Compatibility and replaceability analysis for timed web service protocols. In: BDA (2005)","DOI":"10.1007\/978-3-540-30464-7_40"},{"key":"6_CR17","unstructured":"Benatallah, B., Casati, F., Ponge, J., Toumani, F.: On Temporal Abstractions of Web Service Protocols. In: CAiSE Short Paper Proceedings (2005)"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2006.05.002","volume":"70","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Service oriented computing from a process algebraic perspective. The Journal of Logic and Algebraic Programming\u00a070(1), 3\u201314 (2007)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11596141_18","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"N. Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"issue":"1","key":"6_CR20","first-page":"159","volume":"154","author":"J. C\u00e1mara","year":"2006","unstructured":"C\u00e1mara, J., Canal, C., Cubo, J., Vallecillo, A.: Formalizing WSBPEL Business Processes Using Process Algebra. ENTCS\u00a0154(1), 159\u2013173 (2006)","journal-title":"ENTCS"},{"key":"6_CR21","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-20898-0_14","volume-title":"Future Internet Assembly","author":"R. Carbone","year":"2011","unstructured":"Carbone, R., Minea, M., M\u00f6dersheim, S.A., Ponta, S.E., Turuani, M., Vigan\u00f2, L.: Towards Formal Validation of Trust and Security in the Internet of Services. In: Domingue, J., et al. (eds.) Future Internet Assembly. LNCS, vol.\u00a06656, pp. 193\u2013207. Springer, Heidelberg (2011)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Chevalier, Y., Mekki, M.A., Rusinowitch, M.: Automatic Composition of Services with Security Policies. In: SERVICES 2008 - Part I, pp. 529\u2013537. IEEE (2008)","DOI":"10.1109\/SERVICES-1.2008.13"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Martin, J.A., Martinelli, F., Matteucci, I., Petrocchi, M., Pimentel, E.: A tool for the synthesis of cryptographic orchestrators. In: ACM (ed.) Model Driven Security Workshop, MDSEC (2012)","DOI":"10.1145\/2422498.2422508"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Martinelli, F., Matteucci, I., Petrocchi, M., Martn, J.A., Pimentel, E.: Automated synthesis and ranking of secure BPMN orchestrators (2013) (to apper)","DOI":"10.1109\/ARES.2013.60"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11901433_13","volume-title":"Formal Methods and Software Engineering","author":"J.S. Dong","year":"2006","unstructured":"Dong, J.S., Liu, Y., Sun, J., Zhang, X.: Verification of Computation Orchestration Via Timed Automata. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 226\u2013245. Springer, Heidelberg (2006)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Ferrara, A.: Web services: A process algebra approach. In: ICSOC, pp. 242\u2013251 (2004)","DOI":"10.1145\/1035167.1035202"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Havelund","year":"2002","unstructured":"Havelund, K., Ro\u015fu, G.: Synthesizing monitors for safety properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pandya, P., Pistore, M.: Timed modelling and analysis in web service compositions. In: ARES 2006: Proceedings of the First International Conference on Availability, Reliability and Security, ARES 2006, pp. 840\u2013846. IEEE Computer Society, Washington, DC (2006)","DOI":"10.1109\/ARES.2006.134"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-44618-4_9","volume-title":"CONCUR 2000 - Concurrency Theory","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Madhusudan, P., Thiagarajan, P.S., Vardi, M.Y.: Open systems in reactive environments: Control and synthesis. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 92\u2013107. Springer, Heidelberg (2000)"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Li, J., Yarvis, M., Reiher, P.: Securing Distributed Adaptation. Computer Networks\u00a038(3) (2002)","DOI":"10.1016\/S1389-1286(01)00291-2"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-49059-0_11","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"D. Marchignoli","year":"1999","unstructured":"Marchignoli, D., Martinelli, F.: Automatic verification of cryptographic protocols through compositional analysis techniques. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 148\u2013162. Springer, Heidelberg (1999)"},{"issue":"2","key":"6_CR33","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jlap.2011.08.001","volume":"81","author":"J.A. Mart\u00edn","year":"2012","unstructured":"Mart\u00edn, J.A., Martinelli, F., Pimentel, E.: Synthesis of secure adaptors. J. Log. Algebr. Program.\u00a081(2), 99\u2013126 (2012)","journal-title":"J. Log. Algebr. Program."},{"issue":"3-5","key":"6_CR34","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.jlap.2010.07.001","volume":"80","author":"J.A. Mart\u00edn","year":"2011","unstructured":"Mart\u00edn, J.A., Pimentel, E.: Contracts for security adaptation. J. Log. Algebr. Program.\u00a080(3-5), 154\u2013179 (2011)","journal-title":"J. Log. Algebr. Program."},{"key":"6_CR35","unstructured":"Martinelli, F.: Languages for description and analysis of authentication protocols. In: Proceedings of 6th Italian Conference on Theoretical Computer Science, pp. 304\u2013315 (1998)"},{"issue":"1","key":"6_CR36","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.1016\/S0304-3975(02)00596-0","volume":"290","author":"F. Martinelli","year":"2003","unstructured":"Martinelli, F.: Analysis of security protocols as open systems. Theoretical Computer Science\u00a0290(1), 1057\u20131106 (2003)","journal-title":"Theoretical Computer Science"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Matteucci, I.: A framework for automatic generation of security controller. In: STVR (2010)","DOI":"10.1002\/stvr.441"},{"key":"6_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-79230-7_9","volume-title":"Web Services and Formal Methods","author":"F. Martinelli","year":"2008","unstructured":"Martinelli, F., Matteucci, I.: Synthesis of web services orchestrators in a timed setting. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 124\u2013138. Springer, Heidelberg (2008)"},{"key":"6_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-45811-5_32","volume-title":"Information Security","author":"F. Martinelli","year":"2002","unstructured":"Martinelli, F., Petrocchi, M., Vaccarelli, A.: Automated Analysis of Some Security Mechanisms of SCEP. In: Chan, A.H., Gligor, V. (eds.) ISC 2002. LNCS, vol.\u00a02433, pp. 414\u2013427. Springer, Heidelberg (2002)"},{"issue":"1","key":"6_CR40","first-page":"33","volume":"16","author":"F. Martinelli","year":"2006","unstructured":"Martinelli, F., Petrocchi, M., Vaccarelli, A.: Formal analysis of some secure procedures for certificate delivery. STVR\u00a016(1), 33\u201359 (2006)","journal-title":"STVR"},{"key":"6_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357195.357196","volume":"5","author":"P. Merlin","year":"1983","unstructured":"Merlin, P., Bochmann, G.V.: On the Construction of Submodule Specification and Communication Protocols. ACM Transactions on Programming Languages and Systems\u00a05, 1\u201325 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR42","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"6_CR43","unstructured":"OMG. Business Process Model and Notation (BPMN)"},{"key":"6_CR44","unstructured":"OMG. Introduction To OMG\u2019s Unified Modeling Language"},{"key":"6_CR45","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. In: SBCARS, pp. 52\u201366 (2008)","DOI":"10.5753\/sbcars.2008.46105"},{"key":"6_CR46","unstructured":"Papazoglou, M.P.: Web Services - Principles and Technology. Prentice-Hall, Inc. (2008)"},{"key":"6_CR47","doi-asserted-by":"crossref","unstructured":"Pinchinat, S., Riedweg, S.: A Decidable Class of Problems for Control under Partial Observation, vol.\u00a095, pp. 454\u2013460 (2005)","DOI":"10.1016\/j.ipl.2005.04.011"},{"key":"6_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/11431053_5","volume-title":"The Semantic Web: Research and Applications","author":"M. Pistore","year":"2005","unstructured":"Pistore, M., Roberti, P., Traverso, P.: Process-Level Composition of Executable Web Services: \u201cOn-the-fly\u201d Versus \u201cOnce-for-all\u201d Composition. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 62\u201377. Springer, Heidelberg (2005)"},{"key":"6_CR49","unstructured":"Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: ICAPS, pp. 2\u201311 (2005)"},{"key":"6_CR50","unstructured":"Qayyum, Z., Oquendo, F.: .NET Extensions to the p-architecture Description Languages. In: SEKE, pp. 244\u2013249 (2008)"},{"key":"6_CR51","unstructured":"Raclet, J., Pinchinat, S.: The control of non-deterministic systems: A logical approach. In: Proc. 16th IFAC Word Congress, Prague, Czech Republic (2005)"},{"key":"6_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11494881_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"W. Reisig","year":"2005","unstructured":"Reisig, W.: Modeling- and analysis techniques for web services and business processes. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 243\u2013258. Springer, Heidelberg (2005)"},{"key":"6_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1007\/978-3-540-45138-9_58","volume-title":"Mathematical Foundations of Computer Science 2003","author":"S. Riedweg","year":"2003","unstructured":"Riedweg, S., Pinchinat, S.: Quantified Mu-Calculus for Control Synthesis. In: Rovan, B., Vojt\u00e1\u0161, P. (eds.) MFCS 2003. LNCS, vol.\u00a02747, pp. 642\u2013651. Springer, Heidelberg (2003)"},{"key":"6_CR54","unstructured":"Riedweg, S., Pinchinat, S.: You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist. In: Proc. 2005 American Control Conference, Portland, Oregon (2005)"},{"key":"6_CR55","unstructured":"Rosu, G., Havelund, K.: Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae. Technical report (2001)"},{"key":"6_CR56","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/ICWS.2004.1314722","volume-title":"Proceedings of the IEEE International Conference on Web Services (ICWS 2004)","author":"G. Salaun","year":"2004","unstructured":"Salaun, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), p. 43. IEEE Computer Society, Washington, DC (2004)"},{"key":"6_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/11805618_21","volume-title":"Term Rewriting and Applications","author":"M. Turuani","year":"2006","unstructured":"Turuani, M.: The CL-Atse Protocol Analyser. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 277\u2013286. Springer, Heidelberg (2006)"},{"key":"6_CR58","first-page":"69","volume":"155","author":"L. Vigan\u00f2","year":"2006","unstructured":"Vigan\u00f2, L.: Automated Security Protocol Analysis with the AVISPA Tool. ENTCS\u00a0155, 69\u201386 (2006)","journal-title":"ENTCS"},{"key":"6_CR59","unstructured":"W3C. Xquery 3.0: An xml query language"}],"container-title":["Lecture Notes in Computer Science","Engineering Secure Future Internet Services and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07452-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:32:35Z","timestamp":1746232355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07452-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319074511","9783319074528"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07452-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}