{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T15:10:06Z","timestamp":1746371406127,"version":"3.40.4"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116914"},{"type":"electronic","value":"9783319116921"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11692-1_25","type":"book-chapter","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T07:59:26Z","timestamp":1410163166000},"page":"285-299","source":"Crossref","is-referenced-by-count":0,"title":["Interoperability of Security-Aware Web Service Business Processes: Case Studies and Empirical Evaluation"],"prefix":"10.1007","author":[{"given":"Alfredo","family":"Cuzzocrea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Rodin\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"25_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MIC.2006.87","volume":"10","author":"B. Benatallah","year":"2006","unstructured":"Benatallah, B., Nezhad, H.R.M., Casati, F., Toumani, F., Ponge, J.: Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management. IEEE Internet Computing\u00a010(4), 55\u201363 (2006)","journal-title":"IEEE Internet Computing"},{"key":"25_CR2","unstructured":"Benatallah, B., Hamid, R., Nezhad, H.R.M.: Service Mosaic Project: Modeling, Analysis and Management of Web Services Interactions. In: Proceedings of APCCM, pp. 7\u20139 (2006)"},{"issue":"3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B. Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Representing, Analyzing and Managing Web Service Protocols. Data & Knowledge Engineering\u00a058(3), 327\u2013357 (2006)","journal-title":"Data & Knowledge Engineering"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Nezhad, H.R.M., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-Automated Adaptation of Service Interactions. In: Proceedings of WWW, pp. 993\u20131002 (2007)","DOI":"10.1145\/1242572.1242706"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Nezhad, H.R.M., Saint-Paul, R., Benatallah, B., Casati, F., Ponge, J., Toumani, F.: Service Mosaic: Interactive Analysis and Manipulation of Service Conversations. In: Proceedings of ICDE, pp. 1497\u20131498 (2007)","DOI":"10.1109\/ICDE.2007.369051"},{"key":"25_CR6","unstructured":"Sipser, M.: Introduction to the Theory of Computation. PWS Publishing (1997)"},{"issue":"2","key":"25_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-70583-3_11","volume-title":"Automata, Languages and Programming","author":"P. Bouyer","year":"2008","unstructured":"Bouyer, P., Markey, N., Ouaknine, J., Worrell, J.B.: On Expressiveness and Complexity in Real-Time Model Checking. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 124\u2013135. Springer, Heidelberg (2008)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Analysis and Applications of Timed Service Protocols. ACM Transactions on Software Engineering and Methodology\u00a019(4), art. no. 11 (2010)","DOI":"10.1145\/1734229.1734230"},{"issue":"2","key":"25_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1142\/S0218843012500013","volume":"21","author":"K. Mokhtari-Aslaoui","year":"2012","unstructured":"Mokhtari-Aslaoui, K., Benbernou, S., Sahri, S., Andrikopoulos, V., Leymann, F., Hacid, M.-S.: Timed Privacy-Aware Business Protocols. International Journal of Cooperative Information Systems\u00a021(2), 85\u2013110 (2012)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Hamadi, R., Paik, H.-Y., Benatallah, B.: Conceptual Modeling of Privacy-Aware Web Service Protocols. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol.\u00a04495, pp. 233\u2013248. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72988-4_17"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-45608-2_3","volume-title":"Foundations of Security Analysis and Design","author":"P. Samarati","year":"2001","unstructured":"Samarati, P., de Vimercati, S.C.: Access Control: Policies, Models, and Mechanisms. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, pp. 137\u2013196. Springer, Heidelberg (2001)"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Elabd, E., Coquery, E., Hacid, M.-S.: Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control. In: Proceedings of ICWS, pp. 409\u2013416 (2010)","DOI":"10.1109\/ICWS.2010.102"},{"issue":"4","key":"25_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.4018\/jwsr.2012100104","volume":"9","author":"E. Elabd","year":"2012","unstructured":"Elabd, E., Coquery, E., Hacid, M.-S.: From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation. International Journal of Web Service Research\u00a09(4), 69\u201395 (2012)","journal-title":"International Journal of Web Service Research"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/978-3-540-75563-0_40","volume-title":"Conceptual Modeling - ER 2007","author":"J. Ponge","year":"2007","unstructured":"Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 599\u2013614. Springer, Heidelberg (2007)"},{"key":"25_CR16","unstructured":"Fensel, D.: Ontologies: Silver Bullet for Knowledge Management and Electronic Commerce. Springer (2003)"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/11431053_20","volume-title":"The Semantic Web: Research and Applications","author":"W. Nejdl","year":"2005","unstructured":"Nejdl, W., Olmedilla, D., Winslett, M., Zhang, C.C.: Ontology-Based Policy Specification and Management. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 290\u2013302. Springer, Heidelberg (2005)"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/j.ins.2013.04.028","volume":"258","author":"L. Wei","year":"2014","unstructured":"Wei, L., et al.: Security and Privacy for Storage and Computation in Cloud Computing. Information Sciences\u00a0258, 371\u2013386 (2014)","journal-title":"Information Sciences"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Wei, L., et al.: SecCloud: Bridging Secure Storage and Computation in Cloud. In: Proceedings of ICDCS Workshops, pp. 52\u201361 (2010)","DOI":"10.1109\/ICDCSW.2010.36"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Reza Rahimi, M., et al.: MuSIC: Mobility-Aware Optimal Service Allocation in Mobile Cloud Computing. In: Proceedings of IEEE CLOUD, pp. 75\u201382 (2013)","DOI":"10.1109\/CLOUD.2013.100"},{"key":"25_CR21","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/j.ins.2014.04.054","volume":"280","author":"Q.Z. Sheng","year":"2014","unstructured":"Sheng, Q.Z., et al.: Web Services Composition: A Decade\u2019s Overview. Information Sciences\u00a0280, 218\u2013238 (2014)","journal-title":"Information Sciences"},{"issue":"4","key":"25_CR22","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/TNSM.2012.113012.120310","volume":"9","author":"Q. Duan","year":"2012","unstructured":"Duan, Q., et al.: A Survey on Service-Oriented Network Virtualization Toward Convergence of Networking and Cloud Computing. IEEE Transactions on Network and Service Management\u00a09(4), 373\u2013392 (2012)","journal-title":"IEEE Transactions on Network and Service Management"}],"container-title":["Lecture Notes in Computer Science","Internet and Distributed Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11692-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T14:28:36Z","timestamp":1746368916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11692-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116914","9783319116921"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11692-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}