{"id":"https://openalex.org/W4312592629","doi":"https://doi.org/10.1109/access.2022.3210386","title":"A Formal Method for Description and Decision of Android Apps Behavior Based on Process Algebra","display_name":"A Formal Method for Description and Decision of Android Apps Behavior Based on Process Algebra","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4312592629","doi":"https://doi.org/10.1109/access.2022.3210386"},"language":"en","primary_location":{"id":"doi:10.1109/access.2022.3210386","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3210386","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09904741.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09904741.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061965199","display_name":"Dongkui Liang","orcid":"https://orcid.org/0000-0003-3764-8129"},"institutions":[{"id":"https://openalex.org/I39333907","display_name":"Yanshan University","ror":"https://ror.org/02txfnf15","country_code":"CN","type":"education","lineage":["https://openalex.org/I39333907"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongkui Liang","raw_affiliation_strings":["School of Information Science and Engineering, Yanshan University, Qinhuangdao, China","Engineering Training Center, Yanshan University, Qinhuangdao, China"],"raw_orcid":"https://orcid.org/0000-0003-3764-8129","affiliations":[{"raw_affiliation_string":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China","institution_ids":["https://openalex.org/I39333907"]},{"raw_affiliation_string":"Engineering Training Center, Yanshan University, Qinhuangdao, China","institution_ids":["https://openalex.org/I39333907"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021030351","display_name":"Limin Shen","orcid":"https://orcid.org/0000-0002-9325-2279"},"institutions":[{"id":"https://openalex.org/I39333907","display_name":"Yanshan University","ror":"https://ror.org/02txfnf15","country_code":"CN","type":"education","lineage":["https://openalex.org/I39333907"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Limin Shen","raw_affiliation_strings":["School of Information Science and Engineering, Yanshan University, Qinhuangdao, China"],"raw_orcid":"https://orcid.org/0000-0002-9325-2279","affiliations":[{"raw_affiliation_string":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China","institution_ids":["https://openalex.org/I39333907"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100601939","display_name":"Zhen Chen","orcid":"https://orcid.org/0000-0003-4424-7315"},"institutions":[{"id":"https://openalex.org/I39333907","display_name":"Yanshan University","ror":"https://ror.org/02txfnf15","country_code":"CN","type":"education","lineage":["https://openalex.org/I39333907"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Chen","raw_affiliation_strings":["School of Information Science and Engineering, Yanshan University, Qinhuangdao, China"],"raw_orcid":"https://orcid.org/0000-0003-4424-7315","affiliations":[{"raw_affiliation_string":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China","institution_ids":["https://openalex.org/I39333907"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060051093","display_name":"Chuan Ma","orcid":"https://orcid.org/0000-0002-9571-158X"},"institutions":[{"id":"https://openalex.org/I39333907","display_name":"Yanshan University","ror":"https://ror.org/02txfnf15","country_code":"CN","type":"education","lineage":["https://openalex.org/I39333907"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chuan Ma","raw_affiliation_strings":["School of Information Science and Engineering, Yanshan University, Qinhuangdao, China","Engineering Training Center, Yanshan University, Qinhuangdao, China"],"raw_orcid":"https://orcid.org/0000-0002-9571-158X","affiliations":[{"raw_affiliation_string":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China","institution_ids":["https://openalex.org/I39333907"]},{"raw_affiliation_string":"Engineering Training Center, Yanshan University, Qinhuangdao, China","institution_ids":["https://openalex.org/I39333907"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101958703","display_name":"Jiayin Feng","orcid":"https://orcid.org/0000-0003-2687-2280"},"institutions":[{"id":"https://openalex.org/I39333907","display_name":"Yanshan University","ror":"https://ror.org/02txfnf15","country_code":"CN","type":"education","lineage":["https://openalex.org/I39333907"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiayin Feng","raw_affiliation_strings":["School of Information Science and Engineering, Yanshan University, Qinhuangdao, China"],"raw_orcid":"https://orcid.org/0000-0003-2687-2280","affiliations":[{"raw_affiliation_string":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, China","institution_ids":["https://openalex.org/I39333907"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I39333907"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.9898,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.74696142,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"10","issue":null,"first_page":"108668","last_page":"108683"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.84697425365448},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7727077603340149},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6535893082618713},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.5839206576347351},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.553083598613739},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4843820035457611},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4103411138057709},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2568764090538025},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10168659687042236}],"concepts":[{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.84697425365448},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7727077603340149},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6535893082618713},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.5839206576347351},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.553083598613739},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4843820035457611},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4103411138057709},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2568764090538025},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10168659687042236},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2022.3210386","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3210386","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09904741.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:ecde2e6819124adcab4ed009332c702c","is_oa":true,"landing_page_url":"https://doaj.org/article/ecde2e6819124adcab4ed009332c702c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 10, Pp 108668-108683 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2022.3210386","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3210386","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09904741.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7699999809265137,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1975258834","display_name":"\u9762\u5411\u79fb\u52a8\u8ba1\u7b97\u57fa\u4e8e\u8fdb\u7a0b\u4ee3\u6570\u548c\u534f\u540c\u4fe1\u4efb\u673a\u5236\u7684\u8f6f\u4ef6\u884c\u4e3a\u5206\u6790\u4e0e\u5224\u5b9a\u7814\u7a76","funder_award_id":"61772450","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3492668252","display_name":null,"funder_award_id":"F2017203307","funder_id":"https://openalex.org/F4320322163","funder_display_name":"Natural Science Foundation of Hebei Province"},{"id":"https://openalex.org/G6609473481","display_name":null,"funder_award_id":"F2017203307","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8686692688","display_name":null,"funder_award_id":"F2019203287","funder_id":"https://openalex.org/F4320322163","funder_display_name":"Natural Science Foundation of Hebei Province"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322163","display_name":"Natural Science Foundation of Hebei Province","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4312592629.pdf","grobid_xml":"https://content.openalex.org/works/W4312592629.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W146244851","https://openalex.org/W1264845515","https://openalex.org/W1604087637","https://openalex.org/W1878831059","https://openalex.org/W2075283981","https://openalex.org/W2094835181","https://openalex.org/W2101206446","https://openalex.org/W2137865376","https://openalex.org/W2324464293","https://openalex.org/W2551095084","https://openalex.org/W2568897335","https://openalex.org/W2575599800","https://openalex.org/W2742366121","https://openalex.org/W2743566059","https://openalex.org/W2767371019","https://openalex.org/W2772660489","https://openalex.org/W2773315412","https://openalex.org/W2779712810","https://openalex.org/W2789983203","https://openalex.org/W2795309687","https://openalex.org/W2801324717","https://openalex.org/W2807786182","https://openalex.org/W2809965384","https://openalex.org/W2888794899","https://openalex.org/W2899639977","https://openalex.org/W2912477246","https://openalex.org/W2912610007","https://openalex.org/W2944830571","https://openalex.org/W2945522736","https://openalex.org/W2946873049","https://openalex.org/W2955478879","https://openalex.org/W2960973085","https://openalex.org/W2965110131","https://openalex.org/W2966634653","https://openalex.org/W2968582201","https://openalex.org/W2969828433","https://openalex.org/W2980750320","https://openalex.org/W2981988166","https://openalex.org/W2982705228","https://openalex.org/W2990495437","https://openalex.org/W2999917442","https://openalex.org/W3009478589","https://openalex.org/W3016972006","https://openalex.org/W3022728237","https://openalex.org/W3031472106","https://openalex.org/W3033351549","https://openalex.org/W3039088822","https://openalex.org/W3129375586","https://openalex.org/W4205521168","https://openalex.org/W4210816515","https://openalex.org/W4220747451","https://openalex.org/W4225165373","https://openalex.org/W4229010240","https://openalex.org/W4280500686","https://openalex.org/W4280584790","https://openalex.org/W6989354541"],"related_works":["https://openalex.org/W1990409638","https://openalex.org/W1604894272","https://openalex.org/W2155852086","https://openalex.org/W2324339387","https://openalex.org/W2799251552","https://openalex.org/W188099908","https://openalex.org/W123162335","https://openalex.org/W2010690522","https://openalex.org/W1554465161","https://openalex.org/W4394647557"],"abstract_inverted_index":{"Android":[0,17,44,121],"is":[1,37],"the":[2,41,64,82,116,120,128,142,164,176,195,200],"most":[3],"popular":[4],"mobile":[5],"platform,":[6],"and":[7,25,51,62,67,84,126,130,151,167,174,197,212,222],"it":[8],"has":[9],"become":[10],"a":[11,78,96,104,186],"primary":[12],"malware":[13,18],"target.":[14],"Existing":[15],"behavior-based":[16,225],"detection":[19,33],"methods":[20,56,223],"suffer":[21],"from":[22,119],"false":[23,26],"positive":[24],"negative":[27],"problems,":[28],"which":[29,189,216],"lead":[30],"to":[31,123,193],"low":[32],"accuracy.":[34],"Formal":[35],"theory":[36],"crucial":[38],"in":[39,149],"studying":[40],"behaviors":[42],"of":[43,70,86,133,144,147,155,199,224],"applications":[45,150],"characterized":[46],"by":[47],"high":[48],"concurrency,":[49],"interaction,":[50],"mobility.":[52],"However,":[53],"existing":[54],"formal":[55,79,97],"mainly":[57],"focus":[58],"on":[59,90,136,180],"specific":[60],"issues":[61],"lack":[63],"essential":[65],"abstraction":[66],"high-level":[68],"description":[69,83],"application":[71,87,101,122,171,214],"behavior.":[72],"In":[73],"this":[74],"study,":[75],"we":[76,94,114,140,162,184],"propose":[77,95,175],"method":[80,98,208],"for":[81,99,170,220],"decision":[85,177],"behavior":[88,102,134,143,165,172],"based":[89,135,179],"process":[91,108,124,137,158],"algebra.":[92,109,138],"First,":[93],"describing":[100],"at":[103],"component":[105],"level":[106],"using":[107,157],"By":[110],"extending":[111],"\u03c0-calculus":[112],"theory,":[113],"establish":[115],"mapping":[117],"relationship":[118],"algebra,":[125],"present":[127],"semantics":[129],"evolution":[131],"rules":[132,178],"Second,":[139],"describe":[141,211],"four":[145],"types":[146],"components":[148,156],"characterize":[152],"concurrent":[153],"interactions":[154],"algebra":[159],"expressions.":[160],"Third,":[161],"define":[163],"equivalence":[166],"simulation":[168],"mechanism":[169],"analysis":[173],"weak":[181],"simulation.":[182],"Finally,":[183],"discuss":[185],"demonstration":[187],"case,":[188],"includes":[190],"malicious":[191],"behavior,":[192,215],"demonstrate":[194],"feasibility":[196],"effectiveness":[198],"proposed":[201],"method.":[202],"The":[203],"results":[204],"show":[205],"that":[206],"our":[207],"can":[209],"accurately":[210],"analyze":[213],"provides":[217],"theoretical":[218],"support":[219],"technologies":[221],"detection.":[226]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}