{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T08:25:20Z","timestamp":1771662320324,"version":"3.50.1"},"reference-count":36,"publisher":"Zhejiang University Press","issue":"4","license":[{"start":{"date-parts":[[2018,4,1]],"date-time":"2018-04-01T00:00:00Z","timestamp":1522540800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61272083"],"award-info":[{"award-number":["61272083"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"the National High-Tech R&D Program (863) of China","award":["2015AA015303"],"award-info":[{"award-number":["2015AA015303"]}]}],"content-domain":{"domain":["springerlink.com","jzus.zju.edu.cn"],"crossmark-restriction":true},"short-container-title":["Frontiers Inf Technol Electronic Eng"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1631\/fitee.1601371","type":"journal-article","created":{"date-parts":[[2018,6,10]],"date-time":"2018-06-10T23:49:13Z","timestamp":1528674553000},"page":"494-502","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Using information flow analysis to detect implicit information leaks for web service composition"],"prefix":"10.1631","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6185-4438","authenticated-orcid":false,"given":"Jia-xin","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi-qiu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei-wei","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"635","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"ref1","first-page":"223","article-title":"Detective information flow analysis for business processes","volume-title":"Int Conf on Business Process, Services Computing, and Intelligent Service Management","author":"Accorsi","year":"2009"},{"key":"ref2","first-page":"194","article-title":"Static information flow analysis of workflow models","volume-title":"Int Conf on Business Process and Service Science","author":"Accorsi","year":"2010"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.12.006"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.11.705"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29963-6_12"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/s1363-4127(01)00207-2"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/501983.501991"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/crisis.2008.4757466"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/sp.1983.10001"},{"key":"ref10","article-title":"Secure Computer Systems: Mathematical Foundations and Model","author":"Bell","year":"1973","journal-title":"DTIC Document"},{"issue":"4","key":"ref11","first-page":"47","article-title":"Definition and execution of composite web services: the self-serv project","volume":"25","author":"Benatallah","year":"2002","journal-title":"IEEE Data Eng Bull"},{"key":"ref12","first-page":"328","article-title":"A survey on noninterference with Petri nets","author":"Busi","year":"2003","journal-title":"ACPN: Lectures on Concurrency and Petri Nets"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/s0960129509990120"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/msp.2005.121"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/sp.1982.10014"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1183463.1183467"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/enabl.2003.1231405"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/mis.2004.23"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/362375.362389"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_3"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_3"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1316-1"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-006-0009-y"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266669"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33609-6_1"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1023\/b:elec.0000009282.06809.c5"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/jsac.2002.806121"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/words.2005.11"},{"issue":"3","key":"ref30","first-page":"6","article-title":"Being interactive: physics of service composition","volume":"5","author":"Singh","year":"2001","journal-title":"IEEE Intern Comput"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89652-4_49"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2008.916747"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/tsc.2013.18"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/csf.2015.40"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1314418.1314426"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3724\/sp.j.1016.2012.01688"}],"container-title":["Frontiers of Information Technology & Electronic Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.1601371.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1631\/FITEE.1601371\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.1601371.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T07:48:57Z","timestamp":1771660137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1631\/FITEE.1601371"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["1245"],"URL":"https:\/\/doi.org\/10.1631\/fitee.1601371","relation":{},"ISSN":["2095-9184","2095-9230"],"issn-type":[{"value":"2095-9184","type":"print"},{"value":"2095-9230","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,4]]},"assertion":[{"value":"http:\/\/orcid.org\/0000-0001-6185-4438","URL":"http","order":0,"name":"name","label":"Jia-xin JIANG","group":{"name":"orcid","label":"ORCID"}},{"value":"2016-06-24","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-01-11","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-04-04","order":2,"name":"crosschecked","label":"Crosschecked","group":{"name":"publication_history","label":"Publication History"}},{"value":"Article","order":0,"name":"content_type","group":{"name":"content_type","label":"Content Type"}},{"value":"\u00a9 Zhejiang University and Springer-Verlag GmbH Germany, part of Springer Nature 2018","order":0,"name":"copyright","group":{"name":"copyright","label":"Copyright"}}]}}