{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T01:19:28Z","timestamp":1751937568301,"version":"3.37.3"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772450"],"award-info":[{"award-number":["61772450"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003787","name":"Hebei Natural Science Foundation","doi-asserted-by":"publisher","award":["F2019203287","F2017203307"],"award-info":[{"award-number":["F2019203287","F2017203307"]}],"id":[{"id":"10.13039\/501100003787","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Research Project of Colleges and Universities in Hebei Province","award":["QN2020183"],"award-info":[{"award-number":["QN2020183"]}]},{"name":"Hebei Postdoctoral Research Program","award":["B2018003009"],"award-info":[{"award-number":["B2018003009"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3210386","type":"journal-article","created":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T19:54:36Z","timestamp":1664394876000},"page":"108668-108683","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Method for Description and Decision of Android Apps Behavior Based on Process Algebra"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3764-8129","authenticated-orcid":false,"given":"Dongkui","family":"Liang","sequence":"first","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9325-2279","authenticated-orcid":false,"given":"Limin","family":"Shen","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4424-7315","authenticated-orcid":false,"given":"Zhen","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9571-158X","authenticated-orcid":false,"given":"Chuan","family":"Ma","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2687-2280","authenticated-orcid":false,"given":"Jiayin","family":"Feng","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Share of Smartphone Shipments Worldwide by Operating System From 2014 to 2023, 2021","year":"2021","key":"ref1"},{"volume-title":"Smartphone Market Share","year":"2021","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3017427"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2956474"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2021.100373"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCS45141.2019.9065765"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3146363"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3339001"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3371676.3371685"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2020.03.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE.2018.8326293"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCI.2018.8441295"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.26599\/TST.2019.9010067"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/8398591"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2847722"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3006143"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICT.2019.8798828"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICACCI.2017.8126084"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.diin.2018.01.007"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/7245403"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3140341"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/tifs.2019.2947861"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2916886"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-017-6493-y"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2919796"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0263644"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2019.2950134"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3331453.3361664"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2016.2536605"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3021460.3021485"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CyberSecPODS.2019.8885384"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.3390\/s22072597"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/tsp.2019.8769039"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/AIKE.2018.00041"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/1830201"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194019500037"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055617"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1554339.1554341"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40203-6_43"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/3407437"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00038"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2017.23"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2017.34"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CLEI.2017.8226404"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0445-z"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2895261"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/CAIS.2019.8769532"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/IEMCON.2017.8117149"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ISDFS.2018.8355359"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-37231-6_19"},{"issue":"4","key":"ref52","first-page":"8","article-title":"Android malware detection based on improved random forest","volume":"38","author":"Yang","year":"2017","journal-title":"J. Commun."},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2016.11.007"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICUFN.2019.8806121"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0048944"},{"key":"ref56","first-page":"1","article-title":"Fixed point semantics in process algebra","author":"Bergstra","year":"1982"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3"},{"volume-title":"Communicating and Mobile Systems: The \u03a0-Calculus","year":"1999","author":"Milner","key":"ref59"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45484-5_14"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09904741.pdf?arnumber=9904741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T02:35:17Z","timestamp":1706063717000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9904741\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3210386","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2022]]}}}