{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:22:03Z","timestamp":1730208123832,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1109\/cit.2008.4594759","type":"proceedings-article","created":{"date-parts":[[2008,8,13]],"date-time":"2008-08-13T18:40:13Z","timestamp":1218652813000},"page":"694-699","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Formal Framework for Secure Dynamic Services Composition"],"prefix":"10.1109","author":[{"family":"Dong-Hong Xu","sequence":"first","affiliation":[]},{"family":"Yong Qi","sequence":"additional","affiliation":[]},{"family":"Di Hou","sequence":"additional","affiliation":[]},{"family":"Gong-Zhen Wang","sequence":"additional","affiliation":[]},{"family":"Ying Chen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"13"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.entcs.2004.02.023","article-title":"reasoning about interaction protocols for web service composition","volume":"105","author":"baldoni","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"year":"0","key":"12"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"key":"1","first-page":"113","article-title":"on the impact of formal methods in the soa,electronic notes in theoretical computer","volume":"160","author":"bocchi","year":"2006","journal-title":"Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.008"},{"key":"7","first-page":"124","article-title":"a calculus for long-running transactions, ifip international federation for information processing","volume":"2884","author":"bocchi","year":"2003","journal-title":"LNCS"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.046"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2007.23"},{"year":"0","key":"9"},{"key":"8","first-page":"59","volume":"51","author":"tai","year":"2004","journal-title":"Transactions policies for service-oriented computing Dada&Knowledge Engineering"}],"event":{"name":"2008 8th IEEE International Conference on Computer and Information Technology","start":{"date-parts":[[2008,7,8]]},"location":"Sydney, NSW","end":{"date-parts":[[2008,7,11]]}},"container-title":["2008 8th IEEE International Conference on Computer and Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4586225\/4594630\/04594759.pdf?arnumber=4594759","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T02:32:19Z","timestamp":1555036339000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4594759\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cit.2008.4594759","relation":{},"subject":[],"published":{"date-parts":[[2008,7]]}}}