{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:50:02Z","timestamp":1729637402817,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icumt.2009.5345455","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T10:43:49Z","timestamp":1260441829000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Information flow security for service compositions"],"prefix":"10.1109","author":[{"given":"Sabina","family":"Rossi","sequence":"first","affiliation":[]},{"given":"Damiano","family":"Macedonio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","article-title":"Language-Based Information-Flow Security","volume":"21","author":"sabelfeld","year":"2003","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_11"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1999.779775"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63849"},{"key":"16","article-title":"Communication and Concurrency","volume":"92","author":"milner","year":"1989","journal-title":"Prentice Hall International Series in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"14","first-page":"212","article-title":"The must pre-order revisited","author":"laneve","year":"2007","journal-title":"Concurrency"},{"key":"11","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","article-title":"A Classification of Security Properties for Process Algebras","volume":"3","author":"focardi","year":"1994","journal-title":"Journal of Computer Security"},{"key":"12","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/JCS-2006-14103","article-title":"Information Flow Security in Dynamic Contexts","volume":"14","author":"focardi","year":"2006","journal-title":"Journal of Computer Security"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1391956.1391957"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601322"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2008.38"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2004.1309166"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9"},{"year":"0","key":"7"},{"key":"6","first-page":"37","article-title":"Contract compliance and choreography conformance in the presence of message queues","volume":"5387","author":"bravetti","year":"2008","journal-title":"LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77351-1_4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75698-9_14"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328471"},{"key":"8","first-page":"148162","article-title":"A formal account of contracts for web services","volume":"4184","author":"carpineti","year":"2006","journal-title":"LNCS"}],"event":{"name":"Workshops (ICUMT)","start":{"date-parts":[[2009,10,12]]},"location":"St. Petersburg, Russia","end":{"date-parts":[[2009,10,14]]}},"container-title":["2009 International Conference on Ultra Modern Telecommunications & Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340227\/5345316\/05345455.pdf?arnumber=5345455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T08:01:53Z","timestamp":1558684913000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5345455\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icumt.2009.5345455","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}