{"id":"https://openalex.org/W3199006684","doi":"https://doi.org/10.3233/faia210011","title":"Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting1","display_name":"Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting1","publication_year":2021,"publication_date":"2021-09-08","ids":{"openalex":"https://openalex.org/W3199006684","doi":"https://doi.org/10.3233/faia210011","mag":"3199006684"},"language":"en","primary_location":{"id":"doi:10.3233/faia210011","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia210011","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084475640","display_name":"Marwa Ziadia","orcid":"https://orcid.org/0000-0002-8563-4736"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marwa Ziadia","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Laval University, 2325 rue de l\u2019Universit\u00e9, Qu\u00e9bec (Qu\u00e9bec) G1V 0A6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Laval University, 2325 rue de l\u2019Universit\u00e9, Qu\u00e9bec (Qu\u00e9bec) G1V 0A6, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089512218","display_name":"Mohamed Mejri","orcid":"https://orcid.org/0000-0003-4820-3176"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mohamed Mejri","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Laval University, 2325 rue de l\u2019Universit\u00e9, Qu\u00e9bec (Qu\u00e9bec) G1V 0A6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Laval University, 2325 rue de l\u2019Universit\u00e9, Qu\u00e9bec (Qu\u00e9bec) G1V 0A6, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037252341","display_name":"Jaouhar Fattahi","orcid":"https://orcid.org/0000-0002-3905-9099"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jaouhar Fattahi","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Laval University, 2325 rue de l\u2019Universit\u00e9, Qu\u00e9bec (Qu\u00e9bec) G1V 0A6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Laval University, 2325 rue de l\u2019Universit\u00e9, Qu\u00e9bec (Qu\u00e9bec) G1V 0A6, Canada","institution_ids":["https://openalex.org/I43406934"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9189,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71548738,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.998199999332428,"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"}},{"id":"https://openalex.org/T12034","display_name":"Digital and Cyber Forensics","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/android","display_name":"Android (operating system)","score":0.7829643487930298},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7568031549453735},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7270736694335938},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6876275539398193},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.6637474894523621},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.6441420316696167},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6370863318443298},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5510948300361633},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5397838354110718},{"id":"https://openalex.org/keywords/android-malware","display_name":"Android malware","score":0.47187724709510803},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4336247444152832},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.26317477226257324}],"concepts":[{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.7829643487930298},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7568031549453735},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7270736694335938},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6876275539398193},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.6637474894523621},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.6441420316696167},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6370863318443298},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5510948300361633},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5397838354110718},{"id":"https://openalex.org/C2989133298","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android malware","level":3,"score":0.47187724709510803},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4336247444152832},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.26317477226257324},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia210011","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia210011","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7599999904632568,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4200453963","https://openalex.org/W2955731880","https://openalex.org/W2796385736","https://openalex.org/W4390546607","https://openalex.org/W4385749679","https://openalex.org/W2883759196","https://openalex.org/W4386500498","https://openalex.org/W2608570228","https://openalex.org/W4300493161","https://openalex.org/W2791662519"],"abstract_inverted_index":{"With":[0],"the":[1,16,59,85,91,95,107,111,114,120,164,168,177,185],"wide":[2],"variety":[3],"of":[4,24,61,84,97,106,162],"applications":[5,20,39],"offered":[6],"by":[7,35],"Android,":[8],"this":[9,49,142],"system":[10,112,178],"has":[11],"been":[12],"able":[13],"to":[14,57,90,129,175],"dominate":[15],"smartphone":[17],"market.":[18],"These":[19],"provide":[21],"all":[22],"kinds":[23],"features":[25],"and":[26,33,72,76,113],"services":[27],"that":[28,87,182],"have":[29],"become":[30],"highly":[31],"requested":[32,186],"welcomed":[34],"users.":[36],"Besides,":[37],"these":[38],"represent":[40],"risky":[41],"vehicles":[42],"for":[43,141],"malware":[44],"on":[45],"Android":[46,62,70],"devices.":[47],"In":[48],"paper,":[50],"we":[51,77,99],"propose":[52],"a":[53,73,81,145],"novel":[54],"formal":[55,101],"technique":[56,122],"enforce":[58],"security":[60,74,115],"applications.":[63],"We":[64],"start":[65],"off":[66],"with":[67],"an":[68],"untrusted":[69],"application":[71,86,126],"policy,":[75],"end":[78],"up":[79],"in":[80,103,110,119,156,167],"new":[82],"version":[83],"behaves":[88],"according":[89],"policy.":[92],"To":[93],"ensure":[94],"correctness":[96],"results,":[98],"use":[100],"methods":[102],"each":[104],"step":[105,160],"process,":[108],"either":[109],"policy":[116],"specification":[117,179],"or":[118],"enforcement":[121,159],"itself.":[123],"The":[124,158],"target":[125],"is":[127],"reverse-engineered":[128],"its":[130],"assembly-like":[131],"code,":[132],"Smali.":[133],"An":[134],"executable":[135],"semantics":[136],"called":[137,149],"k-Smali":[138,169],"was":[139],"defined":[140],"code":[143],"using":[144,171],"language":[146],"definitional":[147],"framework,":[148],"k":[150],"Framework.":[151],"Security":[152],"policies":[153],"are":[154],"specified":[155],"LTL-logic.":[157],"consists":[161],"integrating":[163],"LTL":[165],"formula":[166],"program":[170],"rewriting.":[172],"It":[173],"aims":[174],"rewrite":[176],"automatically":[180],"so":[181],"it":[183],"satisfies":[184],"formula.":[187]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}