{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T05:21:26Z","timestamp":1761110486304,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/iwcmc.2019.8766588","type":"proceedings-article","created":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T23:48:28Z","timestamp":1563839308000},"page":"1019-1024","source":"Crossref","is-referenced-by-count":2,"title":["Performance and Correctness of Mobile Cloud Computing Systems: Taxonomy and Open Challenges"],"prefix":"10.1109","author":[{"given":"Fairouz","family":"Fakhfakh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"159","article-title":"Mobile cloud computing system components composition formal verification method based on space-time pi-calculus","author":"wang","year":"2015","journal-title":"Conference on Cloud"},{"key":"ref38","first-page":"31","author":"\u00fcnal","year":"2013","journal-title":"Ant Colony Optimization"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2012.6249269"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSIPN.2015.2448520"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CC.2013.6549258"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.02.015"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322973"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/BigComp.2018.00037"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-018-7231-7"},{"journal-title":"The Z Notation","year":"1992","author":"spivey","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134500"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-017-0561-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-017-1088-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3300"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/wcm.1203"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.13053\/cys-19-1-1910"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2015.02.006"},{"key":"ref16","article-title":"Petri net language","author":"hack","year":"1976","journal-title":"Cambridge MA USA Tech Rep"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCBDA.2018.8386504"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2011.10.044"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1186\/s13673-018-0144-7"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2870915"},{"key":"ref4","first-page":"100","article-title":"Theorem proving verification of privacy in wbsn for healthcare systems","author":"al hamadi","year":"2013","journal-title":"ICECS conference"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2830639"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FiCloud.2015.126"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2307849.2307856"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2018.01.007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.05.130"},{"journal-title":"Proverif 1 86pl3 Automatic Cryptographic Protocol Verifier User Manual and Tutorial","year":"0","author":"blanchet","key":"ref8"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MobileCloud.2015.21"},{"key":"ref9","first-page":"79","article-title":"An introduction to timed automata","author":"bouyer","year":"2005","journal-title":"Actes École dété ETR05"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.070813.00285"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2012.6195845"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2349524"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"1196","DOI":"10.1007\/s11227-014-1345-0","article-title":"Cost and energy aware service provisioning for mobile client in cloud computing environment","volume":"71","author":"li","year":"2015","journal-title":"The Journal of Supercomputing"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-015-0332-4"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17758-3_12"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2013.2276434"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2479942.2479946"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-016-1720-0"},{"key":"ref44","first-page":"37","article-title":"Efficient and secure data storage operations for mobile cloud computing","author":"zhou","year":"2013","journal-title":"CNSM conference"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOMW.2011.5928806"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.04.015"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2442994"}],"event":{"name":"2019 15th International Wireless Communications and Mobile Computing Conference (IWCMC)","start":{"date-parts":[[2019,6,24]]},"location":"Tangier, Morocco","end":{"date-parts":[[2019,6,28]]}},"container-title":["2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8761262\/8766347\/08766588.pdf?arnumber=8766588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:18:45Z","timestamp":1657855125000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8766588\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/iwcmc.2019.8766588","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}