{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T12:56:46Z","timestamp":1771851406689,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:00:00Z","timestamp":1636502400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:00:00Z","timestamp":1636502400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61902236"],"award-info":[{"award-number":["61902236"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s11036-021-01846-x","type":"journal-article","created":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T03:04:32Z","timestamp":1636513472000},"page":"2272-2297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":49,"title":["SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6861-9684","authenticated-orcid":false,"given":"Honghao","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yida","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ram\u00f3n J. Dur\u00e1n","family":"Barroso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoxian","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,10]]},"reference":[{"key":"1846_CR1","doi-asserted-by":"crossref","unstructured":"Lemoine F, Aubonnet t, Simoni N (2020) IoT composition based on self-controlled services. Journal of Ambient Intelligence and Humanized Computing 11: 5167\u20135186","DOI":"10.1007\/s12652-020-01831-4"},{"issue":"4","key":"1846_CR2","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1016\/j.bushor.2015.03.008","volume":"58","author":"J LeeI","year":"2015","unstructured":"LeeI J, LeeK (2015) The Internet of Things (IoT): applications, investments, and challenges for enterprises. Business Horizons 58(4):431\u2013440","journal-title":"Business Horizons"},{"issue":"5","key":"1846_CR3","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1016\/j.jcss.2014.02.005","volume":"80","author":"J Jangjaccard","year":"2014","unstructured":"Jangjaccard J, Nepal S (2014) A survey of emerging threats in cybersecurity. J Comput Syst Sci 80(5):973\u2013993","journal-title":"J Comput Syst Sci"},{"issue":"3","key":"1846_CR4","first-page":"131","volume":"10","author":"E Constante","year":"2013","unstructured":"Constante E, Paci F, Zannone N et al (2013) Privacy-aware web service composition and ranking. International Conference on Web Services 10(3):131\u2013138","journal-title":"International Conference on Web Services"},{"key":"1846_CR5","doi-asserted-by":"crossref","unstructured":"Labda W, Mehandjiev N, Sampaio P et al (2014) Modeling of privacy-aware business processes in BPMN to protect personal data. ACM Symposium on Applied Computing, pp 1399\u20131405","DOI":"10.1145\/2554850.2555014"},{"issue":"9","key":"1846_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/MC.2011.291","volume":"44","author":"R Roman","year":"2011","unstructured":"Roman R, Najera P, Lopez J et al (2011) Securing the internet of things. IEEE Computer 44(9):51\u201358","journal-title":"IEEE Computer"},{"key":"1846_CR7","doi-asserted-by":"crossref","unstructured":"Bertino E (2016) Data privacy for IoT systems: concepts, approaches, and research directions. International Conference on Big Data, pp 3645\u20133647","DOI":"10.1109\/BigData.2016.7841030"},{"key":"1846_CR8","doi-asserted-by":"crossref","unstructured":"Butun I (2017) Privacy and trust relations in Internet of Things from the user point of view. IEEE Annual Computing and Communication Workshop and Conference, pp 1\u20135","DOI":"10.1109\/CCWC.2017.7868419"},{"issue":"1","key":"1846_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-11710-7_2","volume":"26","author":"RH Weber","year":"2010","unstructured":"Weber RH (2010) Internet of things: new security and privacy challenges. The Internet of Things 26(1):23\u201330","journal-title":"The Internet of Things"},{"issue":"2","key":"1846_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.4018\/IJITSA.2017070102","volume":"10","author":"R Bhatia","year":"2017","unstructured":"Bhatia R, Gujral MS (2017) Privacy aware access control: a literature survey and novel framework. International Journal of Information Technologies and Systems Approach 10(2):17\u201330","journal-title":"International Journal of Information Technologies and Systems Approach"},{"key":"1846_CR11","unstructured":"OASIS WS-BPEL Technical Committee, Web Services Business Process Execution Language Version 2.0 (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"1846_CR12","unstructured":"Erl T (2008) SOA Principles of Service Design (Prentice Hall)"},{"key":"1846_CR13","unstructured":"UPPALL (2019) UPPAAL web help. https:\/\/www.it.uu.se\/research\/group\/darts\/uppaal\/help.php?file=WebHelp"},{"key":"1846_CR14","doi-asserted-by":"crossref","unstructured":"David A, Larsen KG, Legay A et al (2010) Timed I\/O automata: a complete specification theory for real-time systems. ACM International Conference Hybrid Systems Computation and Control, pp 91\u2013100","DOI":"10.1145\/1755952.1755967"},{"key":"1846_CR15","doi-asserted-by":"crossref","unstructured":"Felten EW, Schneider MA (2000) Timing attacks on Web privacy. Computer and Communications Security, pp 25\u201332","DOI":"10.1145\/352600.352606"},{"key":"1846_CR16","doi-asserted-by":"crossref","unstructured":"Alur R, Courcoubetis C, Dill D (1990) Model-checking for real-time systems. Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, Philadelphia, PA, USA, pp 414\u2013 425","DOI":"10.1109\/LICS.1990.113766"},{"key":"1846_CR17","doi-asserted-by":"crossref","unstructured":"Focardi R, Gorrieri R, Lanotte R et al (2002) Formal models of timing attacks on web privacy. Electronic Notes in Theoretical Computer Science, pp 229\u2013243","DOI":"10.1016\/S1571-0661(04)00329-9"},{"key":"1846_CR18","unstructured":"Song D, Wagner D, Tian X et al (2001) Timing analysis of keystrokes and timing attacks on SSH. Usenix Security Symposium, pp 25\u201325"},{"issue":"1L","key":"1846_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.12785\/amis\/071L20","volume":"7","author":"G Honghao","year":"2013","unstructured":"Honghao G, Huaikou M, Hongwei Z (2013) Predictive web service monitoring using probabilistic model checking. Applied Mathematics & Information Sciences 7(1L):139\u2013148","journal-title":"Applied Mathematics & Information Sciences"},{"issue":"6","key":"1846_CR20","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1142\/S0218194017500334","volume":"27","author":"H Gao","year":"2017","unstructured":"Gao H, Chu D, Duan Y (2017) The probabilistic model checking based service selection method for business process modeling. Journal of Software Engineering and Knowledge Engineering 27(6):897\u2013923","journal-title":"Journal of Software Engineering and Knowledge Engineering"},{"issue":"3","key":"1846_CR21","first-page":"755","volume":"20","author":"H Gao","year":"2019","unstructured":"Gao H, Huang W, Duan Y, Yang X, Zou Q (2019) Research on cost-driven services composition in an uncertain environment. Journal of Internet Technology (JIT) 20(3):755\u2013769","journal-title":"Journal of Internet Technology (JIT)"},{"key":"1846_CR22","doi-asserted-by":"crossref","unstructured":"Joshaghani R, Black S, Sherman E et al (2019) Formal specification and verification of user-centric privacy policies for ubiquitous systems. International Database Engineering and Applications Symposium","DOI":"10.1145\/3331076.3331105"},{"key":"1846_CR23","doi-asserted-by":"crossref","unstructured":"Li YH, Paik H, Benatallah B et al (2006) Formal consistency verification between BPEL process and privacy policy. Conference on Privacy, Security and Trust","DOI":"10.1145\/1501434.1501466"},{"key":"1846_CR24","doi-asserted-by":"crossref","unstructured":"Liu L, Huang Z, Xiao F et al (2010) Verification of privacy requirements in web services composition. International Symposium on Data, Privacy, and E-Commerce, pp 117\u2013122","DOI":"10.1109\/ISDPE.2010.25"},{"issue":"4","key":"1846_CR25","first-page":"944","volume":"9","author":"J Lu","year":"2014","unstructured":"Lu J, Huang Z, Ke C et al (2014) Verification of behavior-aware privacy requirements in web services composition. Journal of Software 9(4):944\u2013951","journal-title":"Journal of Software"},{"key":"1846_CR26","doi-asserted-by":"crossref","unstructured":"Mateescu R, Rampacek S (2008) Formal modeling and discrete-time analysis of BPEL web services. In: Dietzj LG, Albani A, Barjis J (eds) Advances in enterprise engineering i. CIAO! 2008, EOMAS 2008. Lecture notes in business information processing, vol 10. Springer, Berlin","DOI":"10.1007\/978-3-540-68644-6_13"},{"key":"#cr-split#-1846_CR27.1","doi-asserted-by":"crossref","unstructured":"Fares E, Bodeveix JP, Filali M et al (2011) Verification of timed BPEL 2.0 models. In: Halpin T","DOI":"10.1007\/978-3-642-21759-3_19"},{"key":"#cr-split#-1846_CR27.2","unstructured":"(ed) Enterprise, business-process and information systems modeling. BPMDS 2011, EMMSAD 2011. Lecture notes in business information processing, vol 81. Springer, Berlin"},{"key":"1846_CR28","doi-asserted-by":"crossref","unstructured":"Song W, Ma X, Ye C et al (2009) Timed modeling and verification of BPEL processes using time petri nets. International Conference on Quality Software, pp 92\u201397","DOI":"10.1109\/QSIC.2009.20"},{"key":"1846_CR29","doi-asserted-by":"crossref","unstructured":"Chama IE, Belala N, Saidouni DE et al (2014) Formalization and analysis of timed BPEL. Information Reuse and Integration, pp 483\u2013491","DOI":"10.1109\/IRI.2014.7051928"},{"issue":"1","key":"1846_CR30","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1504\/IJBPIM.2017.082765","volume":"8","author":"IE Chama","year":"2017","unstructured":"Chama IE, Belala N, Saidouni DE et al (2017) A timed semantics for web services composition. International Journal of Business Process Integration and Management 8(1):64\u201379","journal-title":"International Journal of Business Process Integration and Management"},{"issue":"10","key":"1846_CR31","doi-asserted-by":"publisher","first-page":"1369","DOI":"10.1142\/S0218194018500390","volume":"28","author":"H Gao","year":"2018","unstructured":"Gao H, Miao H, Liu L et al (2018) Automated quantitative verification for service-based system design: a visualization transform tool perspective. International Journal of Software Engineering and Knowledge Engineering 28(10):1369\u20131397","journal-title":"International Journal of Software Engineering and Knowledge Engineering"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-021-01846-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11036-021-01846-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-021-01846-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T08:27:07Z","timestamp":1644827227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11036-021-01846-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,10]]},"references-count":32,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["1846"],"URL":"https:\/\/doi.org\/10.1007\/s11036-021-01846-x","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,10]]},"assertion":[{"value":"8 July 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 November 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}