{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:40:32Z","timestamp":1743032432086,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319044460"},{"type":"electronic","value":"9783319044477"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-04447-7_8","type":"book-chapter","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T09:56:59Z","timestamp":1399975019000},"page":"97-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Heuristic Approach for Secure Service Composition Adaptation"],"prefix":"10.1007","author":[{"given":"Bo","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Llewellyn-Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lamb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Asim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madjid","family":"Merabti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,14]]},"reference":[{"key":"8_CR1","unstructured":"Aniketos website. http:\/\/www.aniketos.eu\/. Accessed 12 Sept 2013."},{"key":"8_CR2","unstructured":"Chan SW. Security annotations and authorization in GlassFish and the Java EE 5 SDK. http:\/\/www.oracle.com\/technetwork\/articles\/javaee\/security-annotation-142276.html (2006). Accessed 12 Sept 2013."},{"key":"8_CR3","unstructured":"OMG. Business process model and notation 2 specification. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF (2011). Accessed 12 Sept 2013."},{"key":"8_CR4","unstructured":"Christensen E, Curbera F, Meredith G, Weerawarana S. Web services description language (WSDL) 1.1. http:\/\/www.w3.org\/TR\/2001\/NOTE-wsdl-20010315 (2001). Accessed 12 Sept 2013."},{"key":"8_CR5","unstructured":"Akkiraju IR, et al. Web Service Semantics\u2014WSDL-S. http:\/\/www.w3.org\/Submission\/2005\/SUBM-WSDL-S-20051107\/ (2005). Accessed 12 Sept 2013."},{"key":"8_CR6","unstructured":"Kadner K, Oberle D, et al. Unified service description language XG final report. http:\/\/www.w3.org\/2005\/Incubator\/usdl\/XGR-usdl-20111027\/ (2011). Accessed 12 Sept 2013."},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Miao W, Liu S. Service-oriented modeling using the SOFL formal engineering method. IEEE Asia-Pacific services computing conference. IEEE CS press, Jeju; 7\u201311 Dec 2009. doi:10.1109\/APSCC.2009.5394123. p. 187\u2013192","DOI":"10.1109\/APSCC.2009.5394123"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Dragoni N, et al. Security-by-contract (SxC) for software and services of mobile systems. In: Di Nitto et al., editors. At your service: service-oriented computing from an EU perspective. Cambridge: MIT Press; 2009. p. 429\u2013454.","DOI":"10.7551\/mitpress\/7959.003.0019"},{"key":"8_CR9","first-page":"75","volume":"1","author":"G Costa","year":"2010","unstructured":"Costa G, et al. Security-by-contract-with-trust for mobile devices. J Wirel Mob Netw Ubiquitous Comput Dependable Appl. 2010;1:75\u201391.","journal-title":"J Wirel Mob Netw Ubiquitous Comput Dependable Appl"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Miao W, Liu S. A formal specification-based testing approach to accurate web service selection. IEEE Asia Pacific Services Computing Conference. IEEE CS Press, Jeju, Korea; 12\u201315 Dec 2011. p. 259\u2013266. doi:10.1109\/APSCC.2011.34.","DOI":"10.1109\/APSCC.2011.34"},{"key":"8_CR11","unstructured":"AVANTSSAR website. 2013. http:\/\/www.avantssar.eu\/. Accessed 12 Sept 2013."},{"key":"8_CR12","unstructured":"SAP Product Page: Netweaver Composition Environment. 2013 http:\/\/scn.sap.com\/community\/netweaver. Accessed 12 Sept 2013."},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Zhou B, Drew O, Arabo A, Llewellyn-Jones D, Kifayat K, Merabti M, Shi Q, Craddock R, Waller A, Jones G. System-of-systems boundary check in a public event scenario. 5th international conference on systems of systems engineering, winner of the conference best paper award, Loughborough, UK; June 2010. doi:10.1109\/SYSOSE.2010.5544013.","DOI":"10.1109\/SYSOSE.2010.5544013"},{"issue":"10","key":"8_CR14","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1016\/S0141-9331(98)00064-7","volume":"21","author":"S Gritzalis","year":"1998","unstructured":"Gritzalis S, Spinellis D. The cascade vulnerability problem: the detection problem and a simulated annealing approach to its correction. Microprocess Microsyst. 1998;21(10):621\u20138.","journal-title":"Microprocess Microsyst"},{"key":"8_CR15","unstructured":"Zhou B, Llewellyn-Jones D, Shi Q, Asim M, Merabti M, Lamb D. Secure service composition adaptation based on simulated annealing. Proceedings of the 6th layered assurance workshop, annual computer security applications conference (ACSAC 2012), Orlando, Florida, USA; Dec 2012. p. 49\u201355."},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2007.10.013","volume":"197","author":"I Aktug","year":"2008","unstructured":"Aktug I, Naliuka K. ConSpec\u2014a formal language for policy specification. Electron Notes Theoret Comput Sci (ENTCS). 2008;197(1):45\u201358.","journal-title":"Electron Notes Theoret Comput Sci (ENTCS)"}],"container-title":["Cyberpatterns"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04447-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T02:17:16Z","timestamp":1689214636000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-04447-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319044460","9783319044477"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04447-7_8","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"14 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}