{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:53:08Z","timestamp":1761706388180,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319917634"},{"type":"electronic","value":"9783319917641"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91764-1_4","type":"book-chapter","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T09:45:50Z","timestamp":1529055950000},"page":"43-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An End-to-End Security Model for Adaptive Service-Oriented Applications"],"prefix":"10.1007","author":[{"given":"Takoua","family":"Abdellatif","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,16]]},"reference":[{"key":"4_CR1","volume-title":"UDDI, Soap and WSDL: The Web Services Specification Reference Book","author":"AE Walsh","year":"2002","unstructured":"Walsh, A.E.: UDDI, Soap and WSDL: The Web Services Specification Reference Book. Prentice Hall Professional Technical Reference, Englewood Cliffs (2002)"},{"key":"4_CR2","unstructured":"Web services security: Soap message security 1.1, February 2006. http:\/\/docs.oasis-open.org\/wss\/v1.1\/wss-v1.1-spec-os-SOAPMessageSecurity.pdf"},{"key":"4_CR3","unstructured":"Bajaj, S., et al.: Web services policy framework (wspolicy), March 2006. http:\/\/specs.xmlsoap.org\/ws\/2004\/09\/policy\/ws-policy.pdf"},{"key":"4_CR4","unstructured":"Della-Libera, G., et al.: Web services security policy language (ws-securitypolicy), July 2005. http:\/\/specs.xmlsoap.org\/ws\/2005\/07\/securitypolicy\/ws-securitypolicy.pdf"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: 1982 Proceedings of the IEEE Symposium on Security and Privacy (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"4_CR6","unstructured":"Zdancewic, S.: Challenges for information-flow security. In: Proceedings of the 1st International Workshop on the Programming Language Interference and Dependence, pp. 5\u201319 (2004)"},{"key":"4_CR7","unstructured":"Alves, A., et al.: Web services business process execution language version 2.0, April 2007. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K., Warren, J.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9, 319\u2013349 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Dimensions and principles of declassification. J. Comput. Secur. 255\u2013269 (2009)","DOI":"10.1109\/CSFW.2005.15"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Myers, A., Sabelfeld, A., Zdancewic, S.: Enforcing robust declassification. In: Computer Security Foundations Workshop, p. 172 (2004)","DOI":"10.1109\/CSFW.2004.1310740"},{"issue":"4","key":"4_CR11","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/1178625.1178628","volume":"15","author":"G Snelting","year":"2006","unstructured":"Snelting, G., Robschink, T., Krinke, J.: Efficient path conditions in dependence graphs for software safety analysis. ACM Trans. Softw. Eng. Methodol. 15(4), 410\u2013457 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Mao, C.: Slicing web service-based software. In: International Conference Service-Oriented Computing and Applications (SOCA) (2010)","DOI":"10.1109\/SOCA.2009.5410460"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Giffhorn, D., Hammer, C.: Precise analysis of Java programs using JOANA, pp. 267\u2013268 (2008)","DOI":"10.1109\/SCAM.2008.17"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"AC Myers","year":"2000","unstructured":"Myers, A.C., Liskov, B.: Protecting privacy using the decentralized label model. ACM Trans. Softw. Eng. Methodol 9, 410\u2013442 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Hammer, C., Krinke, J., Nodes, F.: Intransitive noninterference in dependence graphs. In: Second International Symposium on Leveraging Applications of Formal Methods Verification and Validation, pp. 119\u2013128 (2006)","DOI":"10.1109\/ISoLA.2006.39"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1023\/B:SQJO.0000039792.93414.a5","volume":"12","author":"J Krinke","year":"2004","unstructured":"Krinke, J.: Slicing, chopping, and path conditions with barriers. Softw. Qual. J. 12, 339\u2013360 (2004)","journal-title":"Softw. Qual. J."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Zorgati, H., Abdellatif, T.: SEWSEC: a secure web service composer using information flow control. In: 6th International Conference on Risks and Security of Internet and Systems, Timisoara, Romania. IEEE (2011)","DOI":"10.1109\/CRiSIS.2011.6061842"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-319-28934-2_6","volume-title":"Formal Aspects of Component Software","author":"N Ben Said","year":"2016","unstructured":"Ben Said, N., Abdellatif, T., Bensalem, S., Bozga, M.: A robust framework for securing composed web services. In: Braga, C., \u00d6lveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 105\u2013122. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28934-2_6"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Sfaxi, L., Robbana, R., Lakhnech, Y.: Automating information flow control in component-based distributed systems. In: ACM Sigsoft International Symposium on Component-Based System Engineering CBSE. ACM (2011)","DOI":"10.1145\/2000229.2000241"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data flow-based validation of web services compositions: Perspectives and examples. Training 298\u2013325 (2008)","DOI":"10.1007\/978-3-540-85571-2_13"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-85571-2_13","volume-title":"Architecting Dependable Systems V","author":"C Bartolini","year":"2008","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data flow-based validation of web services compositions: perspectives and examples. In: de Lemos, R., Di Giandomenico, F., Gacek, C., Muccini, H., Vieira, M. (eds.) WADS 2007. LNCS, vol. 5135, pp. 298\u2013325. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85571-2_13"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-540-27755-2_8","volume-title":"Lectures on Concurrency and Petri Nets","author":"N Busi","year":"2004","unstructured":"Busi, N., Gorrieri, R.: A survey on non-interference with petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 328\u2013344. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_8"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1017\/S0960129509990120","volume":"19","author":"N Busi","year":"2009","unstructured":"Busi, N., Gorrieri, R.: Structural non-interference, in elementary and trace nets. Math. Struct. Comput. Sci. 19, 1065\u20131090 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"4_CR24","unstructured":"Accorsi, R., Wonnemann, C.: Static information flow analysis of workflow models. In: BPSC (2010)"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/11734666_15","volume-title":"Security in Pervasive Computing","author":"D Hutter","year":"2006","unstructured":"Hutter, D., Volkamer, M.: Information flow control to secure dynamic web service composition. In: Clark, J.A., Paige, R.F., Polack, F.A.C., Brooke, P.J. (eds.) SPC 2006. LNCS, vol. 3934, pp. 196\u2013210. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11734666_15"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Wei, S., I-Ling, Y., Bhavani, T., Elisa, B.: The SCIFC model for information flow control in web service composition. In: 2009 IEEE International Conference on Web Services, pp. 1\u20138 (2009)","DOI":"10.1109\/ICWS.2009.13"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"She, W., Yen, I.L., Thuraisingham, B.: Enhancing security modeling for web services using delegation and pass-on. In: 2008 IEEE International Conference on Web Services, pp. 545\u2013552 (2008)","DOI":"10.1109\/ICWS.2008.23"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Demongeot, T., Totel, E., Le Traon, Y.: Preventing data leakage in service orchestration. In: IAS (2011)","DOI":"10.1109\/ISIAS.2011.6122806"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2017 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91764-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:19:40Z","timestamp":1751689180000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91764-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319917634","9783319917641"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91764-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"16 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoc.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}