{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:52:24Z","timestamp":1761706344072},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319289335"},{"type":"electronic","value":"9783319289342"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28934-2_6","type":"book-chapter","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T10:32:56Z","timestamp":1453977176000},"page":"105-122","source":"Crossref","is-referenced-by-count":4,"title":["A Robust Framework for Securing Composed Web Services"],"prefix":"10.1007","author":[{"given":"Najah","family":"Ben Said","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takoua","family":"Abdellatif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,29]]},"reference":[{"key":"6_CR1","volume-title":"UDDI, SOAP, and WSDL: The Web Services Specification Reference Book","author":"A Walsh","year":"2002","unstructured":"Walsh, A.: UDDI, SOAP, and WSDL: The Web Services Specification Reference Book. Prentice Hall, Upper Saddle River (2002)"},{"key":"6_CR2","volume-title":"Business Process Execution Language for Web Services BPEL and BPEL4WS","author":"MB Juric","year":"2006","unstructured":"Juric, M.B.: Business Process Execution Language for Web Services BPEL and BPEL4WS, 2nd edn. Packt Publishing, Birmingham (2006)","edition":"2"},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/s102070100009","volume":"1","author":"E Damiani","year":"2002","unstructured":"Damiani, E., di Vimercati, S.D.C., Paraboschi, S., Samarati, P.: Securing SOAP e-services. Int. J. Inf. Secur. 1(2), 100\u2013115 (2002)","journal-title":"Int. J. Inf. Secur."},{"key":"6_CR4","unstructured":"Della-Libera, G., Gudgin, M., Hallam-Baker, P., Hondo, M., Granqvist, H., Kaler, C., Maruyama, H., McIntosh, M., Nadalin, A., Nagaratnam, N., Philpott, R., Prafullchandra, H., Shewchuk, J., Walter, D., Zolfonoon, R.: Web services security policy language (WS-SECURITYPOLICY). Technical report (2005)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"From Programs to Systems","author":"M Bozga","year":"2014","unstructured":"Bozga, M., Ben Said, N., Abdellatif, T., Bensalem, S.: Model-driven information flow security for component-based systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) From Programs to Systems. LNCS, vol. 8415, pp. 1\u201320. Springer, Heidelberg (2014)"},{"key":"6_CR7","unstructured":"Ben Said, N., Abdellatif, T., Bensalem, S., Bozga, M.: Model-driven information flow security for component-based systems. Technical report TR-2013-7, VERIMAG. \n                    http:\/\/www-verimag.imag.fr\/TR\/TR-2013-7.pdf"},{"key":"6_CR8","unstructured":"Rushby, J.: Noninterference, transitivity, and channel-control security policies. Technical report CSL-92-2, SRI International (1992)"},{"key":"6_CR9","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":"6_CR10","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: BPEL4WS, Business Process Execution Language for Web Services Version 1.1. IBM (2003)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Stachtiari, E., Mentis, A., Katsaros, P.: Rigorous analysis of service composability by embedding WS-BPEL into the BIP component framework. In: 2012 IEEE 19th International Conference on Web Services, pp. 319\u2013326 (2012)","DOI":"10.1109\/ICWS.2012.63"},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011). Special Edition - Software Components beyond Programming - from Routines to Services","journal-title":"IEEE Softw."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Koss, D., Sellmayr, F., Bauereiss, S., Bytschkow, D., Gupta, P., Schaetz, B.: Establishing a smart grid node architecture and demonstrator in an office environment using the SOA approach. In: First International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG, pp. 8\u201314 (2012)","DOI":"10.1109\/SE4SG.2012.6225710"},{"key":"6_CR14","unstructured":"Corporation., I.B.M.: Using BPEL processes in WebSphere Business Integration Server Foundation. IBM, International Technical Support Organization (2004)"},{"key":"6_CR15","unstructured":"Microsoft Development network. \n                    http:\/\/msdn.microsoft.com\/"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Tatsubori, M., Imamura, T., Nakamura, Y.: Best-practice patterns and tool support for configuring secure web services messaging. In: IEEE International Conference on Web Services (ICWS 2004), pp. 244\u2013251 (2004)","DOI":"10.1109\/ICWS.2004.1314745"},{"key":"6_CR17","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.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 328\u2013344. Springer, Heidelberg (2004)"},{"issue":"6","key":"6_CR18","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(6), 1065\u20131090 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Movahednejad, H., Ibrahim, S.B., Sharifi, M., Selamat, H.B., Tabatabaei, S.G.H.: Security-aware web service composition approaches: State-of-the-art. In: 13th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2011, pp. 112\u2013121. ACM (2011)","DOI":"10.1145\/2095536.2095557"},{"issue":"1","key":"6_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jwsr.2010010101","volume":"7","author":"W She","year":"2010","unstructured":"She, W., Yen, I., Thuraisingham, B.M.: Enhancing security modeling for web services using delegation and pass-on. Int. J. Web Service Res. 7(1), 1\u201321 (2010)","journal-title":"Int. J. Web Service Res."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Demongeot, T., Totel, E., Traon, Y.L.: Preventing data leakage in service orchestration. In: 7th International Conference on Information Assurance and Security, IAS 2011, pp. 122\u2013127 (2011)","DOI":"10.1109\/ISIAS.2011.6122806"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Zorgati, H., Abdellatif, T.: Sewsec:a secure web service composer using information flow control. In: Sixth International Conference on Risks and Security of Internet and Systems, CRiSIS 2011, pp. 62\u201369 (2011)","DOI":"10.1109\/CRiSIS.2011.6061842"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Sfaxi, L., Robbana, R., Lakhnech, Y.: Automating information flow control in component-based distributed systems. In: 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, pp. 73\u201382. ACM (2011)","DOI":"10.1145\/2000229.2000241"},{"volume-title":"Domain Engineering, Product Lines, Languages, and Conceptual Models","year":"2013","key":"6_CR24","unstructured":"Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S., Bettin, J. (eds.): Domain Engineering, Product Lines, Languages, and Conceptual Models. Springer, New York (2013)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Tight enforcement of information-release policies for dynamic languages. In: 22nd IEEE Computer Security Foundations Symposium, CSF 2009, pp. 43\u201359 (2009)","DOI":"10.1109\/CSF.2009.22"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28934-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T07:57:47Z","timestamp":1559375867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28934-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319289335","9783319289342"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28934-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}