{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T13:01:30Z","timestamp":1748350890397},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662540534"},{"type":"electronic","value":"9783662540541"}],"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-662-54054-1_3","type":"book-chapter","created":{"date-parts":[[2016,12,8]],"date-time":"2016-12-08T15:08:07Z","timestamp":1481209687000},"page":"66-86","source":"Crossref","is-referenced-by-count":2,"title":["Secure Integration of Third Party Components in a Model-Driven Approach"],"prefix":"10.1007","author":[{"given":"Marian","family":"Borek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Stenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuzman","family":"Katkalov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,9]]},"reference":[{"key":"3_CR1","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. 7214, pp. 267\u2013282. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28756-5_19"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd Symposium on Principles of Database Systems, pp. 163\u2013174. ACM (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-540-25975-6_22","volume-title":"Advanced Information Systems Engineering","author":"K Ba\u00efna","year":"2004","unstructured":"Ba\u00efna, K., Benatallah, B., Casati, F., Toumani, F.: Model-Driven web service development. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 527\u2013543. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-25975-6_22"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-46428-X_25","volume-title":"Fundamental Approaches to Software Engineering","author":"M Balser","year":"2000","unstructured":"Balser, M., Reif, W., Schellhorn, G., Stenzel, K., Thums, A.: Formal system development with KIV. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, pp. 363\u2013366. Springer, Heidelberg (2000). doi: 10.1007\/3-540-46428-X_25"},{"issue":"1","key":"3_CR5","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MIC.2003.1167338","volume":"7","author":"B Benatallah","year":"2003","unstructured":"Benatallah, B., Sheng, Q.Z., Dumas, M.: The Self-serv environment for web services composition. IEEE Internet Comput. 7(1), 40\u201348 (2003)","journal-title":"IEEE Internet Comput."},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-3-319-17112-8_3","volume-title":"Correct Software in Web Applications and Web Services, Texts & Monographs in Symbolic Computation","author":"M Borek","year":"2015","unstructured":"Borek, M., Katkalov, K., Moebius, N., Reif, W., Schellhorn, G., Stenzel, K.: Integrating a model-driven approach and formal verification for the development of secure service applications. In: Thalheim, B., Schewe, K.-D., Prinz, A., Buchberger, B. (eds.) Correct Software in Web Applications and Web Services, Texts & Monographs in Symbolic Computation, pp. 45\u201381. Springer International Publishing, Cham (2015)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Borek, M., Moebius, N., Stenzel, K., Reif, W.: Model-driven development of secure service applications. In: 2012 35th Annual IEEE Software Engineering Workshop (SEW), pp. 62\u201371. IEEE (2012)","DOI":"10.1109\/SEW.2012.13"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-642-40561-7_6","volume-title":"Software Engineering and Formal Methods","author":"M Borek","year":"2013","unstructured":"Borek, M., Moebius, N., Stenzel, K., Reif, W.: Model checking of security-critical applications in a model-driven approach. In: Hierons, R., Merayo, M., Bravetti, M. (eds.) Software Engineering and Formal Methods. LNCS, vol. 8137, pp. 76\u201390. Springer, Heidelberg (2013)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Borek, M., Moebius, N., Stenzel, K., Reif, W.: Security requirements formalized with OCL in a model-driven approach. In: 2013 IEEE Model-Driven Requirements Engineering Workshop (MoDRE), pp. 65\u201373. IEEE (2013)","DOI":"10.1109\/MoDRE.2013.6597265"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Borek, M., Stenzel, K., Katkalov, K., Reif, W.: Abstracting security-critical applications for model checking in a model-driven approach. In: 6th IEEE International Conference on Software Engineering and Service Science (ICSESS). IEEE (2015)","DOI":"10.1109\/ICSESS.2015.7338996"},{"key":"3_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines-A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines-A Method for High-Level System Design and Analysis. Springer-Verlag, Heidelberg (2003)"},{"key":"3_CR12","unstructured":"de Castro, V., Marcos, E., Vela, B.: Representing WSDL with extended UML. Revista Columbiana de Comput. 5 (2004)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Dierks, T., Rescorla, E.: The Transport Layer Security (TLS) Protocol Version 1.2.IETF Network Working Group, August 2008. http:\/\/www.ietf.org\/rfc\/rfc5246.txt","DOI":"10.17487\/rfc5246"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. In: Proceedings of 22th IEEE Symposium on Foundations of Computer Science, pp. 350\u2013357. IEEE Computer Society (1981)","DOI":"10.1109\/SFCS.1981.32"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Gronmo, R., Skogan, D., Solheim, I., Oldevik, J.: Model-driven web services development. In: 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE 2004, pp. 42\u201345. IEEE (2004)","DOI":"10.1109\/EEE.2004.1287288"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Jensen, M., Feja, S.: A security modeling approach for web-service-based business processes. In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, pp. 340\u2013347. IEEE (2009)","DOI":"10.1109\/ECBS.2009.14"},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/j.comnet.2013.08.024","volume":"58","author":"K Katkalov","year":"2013","unstructured":"Katkalov, K., Moebius, N., Stenzel, K., Borek, M., Reif, W.: Modeling test cases for security protocols with SecureMDD. Comput. Netw. 58, 99\u2013111 (2013)","journal-title":"Comput. Netw."},{"key":"3_CR18","unstructured":"Mayer, P.: MDD4SOA: Model-Driven development for Service-Oriented Architectures. Ph.D. thesis, LMU (2010)"},{"key":"3_CR19","unstructured":"Menzel, M.: Model-driven security in service-oriented architectures. Ph.D. thesis. Potsdam University (2011). http:\/\/opus.kobv.de\/ubp\/volltexte\/2012\/5905\/"},{"issue":"1","key":"3_CR20","first-page":"59","volume":"1","author":"N Moebius","year":"2008","unstructured":"Moebius, N., Stenzel, K., Reif, W.: Modeling security-critical applications with UML in the SecureMDD approach. Int. J. Adv. Softw. 1(1), 59\u201379 (2008)","journal-title":"Int. J. Adv. Softw."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Moebius, N., Stenzel, K., Reif, W.: Generating formal specifications for security-critical applications -a model-driven approach. In: ICSE 2009 Workshop: International Workshop on Software Engineering for Secure Systems (SESS 2009). IEEE\/ACM Digital Libary (2009)","DOI":"10.1109\/IWSESS.2009.5068461"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-642-11747-3_13","volume-title":"Engineering Secure Software and Systems","author":"N Moebius","year":"2010","unstructured":"Moebius, N., Stenzel, K., Reif, W.: Formal verification of application-specific security properties in a model-driven approach. In: Massacci, F., Wallach, D., Zannone, N. (eds.) ESSoS 2010. LNCS, vol. 5965, pp. 166\u2013181. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-11747-3_13"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Nakamura, Y., Tatsubori, M., Imamura, T., Ono, K.: Model-driven security based on a web services security architecture. In: IEEE International Conference on Services Computing, pp. 7\u201315. IEEE Press (2005)","DOI":"10.1109\/SCC.2005.66"},{"key":"3_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-92171-4","volume-title":"QVT-Operational Mappings: Modellierung mit der Query Views Transformation","author":"S Nolte","year":"2009","unstructured":"Nolte, S.: QVT-Operational Mappings: Modellierung mit der Query Views Transformation. Springer, Heidelberg (2009)"},{"issue":"4","key":"3_CR25","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1016\/j.jss.2011.10.052","volume":"85","author":"A Pironti","year":"2012","unstructured":"Pironti, A., Pozza, D., Sisto, R.: Formally-based semi-automatic implementation of an open security protocol. J. Syst. Softw. 85(4), 835\u2013849 (2012). Elsevier","journal-title":"J. Syst. Softw."},{"key":"3_CR26","unstructured":"Sun Microsystems Inc.Java Card 2.2 Specification (2002). http:\/\/java.sun.com\/products\/javacard\/"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-45275-1_34","volume-title":"Advanced Conceptual Modeling Techniques","author":"S Th\u00f6ne","year":"2003","unstructured":"Th\u00f6ne, S., Depke, R., Engels, G.: Process-oriented, flexible composition of web services with UML. In: Oliv\u00e9, A., Yoshikawa, M., Yu, E.S.K. (eds.) ER 2002. LNCS, vol. 2784, pp. 390\u2013401. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-45275-1_34"}],"container-title":["Lecture Notes in Computer Science","Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54054-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T06:41:51Z","timestamp":1692600111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54054-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662540534","9783662540541"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54054-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}