{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:22:32Z","timestamp":1729650152959,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/icws.2013.70","type":"proceedings-article","created":{"date-parts":[[2013,11,2]],"date-time":"2013-11-02T00:36:47Z","timestamp":1383352607000},"page":"475-482","source":"Crossref","is-referenced-by-count":19,"title":["Security Certification of Composite Services: A Test-Based Approach"],"prefix":"10.1109","author":[{"given":"Marco","family":"Anisetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio A.","family":"Ardagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2180861.2180864"},{"key":"15","article-title":"A formal framework for service orchestration testing based on symbolic transition systems","author":"bentakouk","year":"0","journal-title":"Proc of TESTCOM\/FATES 2009 Eindhoven The Netherlands November 2009"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2011.13"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2012.6208741"},{"key":"14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-540-68644-6_13","article-title":"Formal modeling and discrete-time analysis of BPEL web services","volume":"10","author":"mateescu","year":"2008","journal-title":"Lecture Notes in Business Information Processing"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23641-9_20"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/INNOVATIONS.2012.6207773"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1080\/09537280903441922"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/2460383.2460384"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-77324-7"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2008.09.041"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2012.6449460"},{"key":"6","article-title":"A symbolic framework for model-based testing","author":"frantzen","year":"0","journal-title":"Proc of FATES\/RV 2006 Seattle WA USA August 2006"},{"journal-title":"Web Services Business Process Execution Language Version 2 0","year":"2007","author":"alves","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2008.10.001"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.2018013"},{"key":"8","article-title":"Incorporating security requirements into service composition: From modelling to execution","author":"souza","year":"0","journal-title":"Proc of the ICSOC-ServiceWave 2009 Stockholm Sweden November 2009"}],"event":{"name":"2013 IEEE International Conference on Web Services (ICWS)","start":{"date-parts":[[2013,6,28]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2013,7,3]]}},"container-title":["2013 IEEE 20th International Conference on Web Services"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596022\/6649542\/06649614.pdf?arnumber=6649614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:19:13Z","timestamp":1498094353000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6649614\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icws.2013.70","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}