{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T17:32:44Z","timestamp":1772299964765,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Air Force Office of Scientific Research","award":["FA95501610030"],"award-info":[{"award-number":["FA95501610030"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3180155.3180172","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"846-857","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["A temporal permission analysis and enforcement framework for Android"],"prefix":"10.1145","author":[{"given":"Alireza","family":"Sadeghi","sequence":"first","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reyhaneh","family":"Jabbarvand","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Negar","family":"Ghorbani","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamid","family":"Bagheri","sequence":"additional","affiliation":[{"name":"University of Nebraska"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Malek","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2014-8609","year":"2014","unstructured":"2014. NVD:CVE-2014-8609. (2014). https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2014-8609"},{"key":"e_1_3_2_1_2_1","unstructured":"2017. Keeping your app responsive. (2017). https:\/\/developer.android.com\/training\/articles\/perf-anr.html"},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/developer.android.com\/reference\/android\/app\/PendingIntent.html","year":"2017","unstructured":"2017. PendingIntent. (2017). https:\/\/developer.android.com\/reference\/android\/app\/PendingIntent.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2017. Terminator web page {In accordance with the double-blind policy}. (2017). https:\/\/sites.google.com\/view\/terminator18"},{"key":"e_1_3_2_1_5_1","unstructured":"2017. Working with System Permissions. (2017). https:\/\/developer.android.com\/training\/permissions"},{"key":"e_1_3_2_1_6_1","unstructured":"2017. Xposed Framework. (2017). http:\/\/repo.xposed.info\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41157-1_5"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_39"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_6"},{"key":"e_1_3_2_1_11_1","volume-title":"A formal approach for detection of security flaws in the android permission system. Formal Aspects of Computing","author":"Bagheri Hamid","year":"2017","unstructured":"Hamid Bagheri, Eunsuk Kang, Sam Malek, and Daniel Jackson. 2017. A formal approach for detection of security flaws in the android permission system. Formal Aspects of Computing (2017)."},{"key":"e_1_3_2_1_12_1","volume-title":"Formal Synthesis and Automatic Enforcement of Security Policies for Android. In 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2016","author":"Bagheri Hamid","year":"2016","unstructured":"Hamid Bagheri, Alireza Sadeghi, Reyhaneh Jabbarvand Behrouz, and Sam Malek. 2016. Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android. In 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2016, Toulouse, France, June 28 - July 1, 2016. 514--525."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2419611"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2184489.2184500"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053004"},{"key":"e_1_3_2_1_16_1","volume-title":"Towards Taming Privilege-Escalation Attacks on Android. In 19th Annual Network and Distributed System Security Symposium, NDSS 2012","author":"Bugiel Sven","year":"2012","unstructured":"Sven Bugiel, Lucas Davi, Alexandra Dmitrienko, Thomas Fischer, Ahmad-Reza Sadeghi, and Bhargava Shastry. 2012. Towards Taming Privilege-Escalation Attacks on Android. In 19th Annual Network and Distributed System Security Symposium, NDSS 2012, San Diego, California, USA, February 5--8, 2012."},{"key":"e_1_3_2_1_17_1","volume-title":"Xmandroid: A new android evolution to mitigate privilege escalation attacks. Technische Universit\u00c3d't Darmstadt, Technical Report TR-2011-04","author":"Bugiel Sven","year":"2011","unstructured":"Sven Bugiel, Lucas Davi, Alexandra Dmitrienko, Thomas Fischer, and Ahmad-Reza Sadeghi. 2011. Xmandroid: A new android evolution to mitigate privilege escalation attacks. Technische Universit\u00c3d't Darmstadt, Technical Report TR-2011-04 (2011)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2016.16"},{"key":"e_1_3_2_1_19_1","volume-title":"20th Annual Network and Distributed System Security Symposium, NDSS 2013","author":"Chen Kevin Zhijie","year":"2013","unstructured":"Kevin Zhijie Chen, Noah M. Johnson, Vijay D'Silva, Shuaifu Dai, Kyle MacNamara, Thomas R. Magrino, Edward XueJun Wu, Martin Rinard, and Dawn Xiaodong Song. 2013. Contextual Policy Enforcement in Android Applications with Permission Event Graphs.. In 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24--27, 2013."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1999995.2000018"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1949317.1949355"},{"key":"e_1_3_2_1_22_1","volume-title":"A new introduction to modal logic","author":"Cresswell Maxwell John","unstructured":"Maxwell John Cresswell and George Edward Hughes. 2012. A new introduction to modal logic. Routledge."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382290"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2028067.2028090"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653691"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2014.02.007"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635869"},{"key":"e_1_3_2_1_28_1","volume-title":"European Symposium on Research in Computer Security. Springer, 1--18","author":"Fragkaki Elli","year":"2012","unstructured":"Elli Fragkaki, Lujo Bauer, Limin Jia, and David Swasey. 2012. Modeling and enhancing android\u00e2\u0102Źs permission system. In European Symposium on Research in Computer Security. Springer, 1--18."},{"key":"e_1_3_2_1_29_1","volume-title":"Determination and Enforcement of Least-Privilege Architecture in Android. In 2017 IEEE International Conference on Software Architecture, ICSA 2017","author":"Hammad Mahmoud","year":"2017","unstructured":"Mahmoud Hammad, Hamid Bagheri, and Sam Malek. 2017. Determination and Enforcement of Least-Privilege Architecture in Android. In 2017 IEEE International Conference on Software Architecture, ICSA 2017, Gothenburg, Sweden, April 3--7, 2017. 59--68."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2671225.2671289"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046780"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2381934.2381938"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings. 775--792","author":"Jia Limin","year":"2013","unstructured":"Limin Jia, Jassim Aljuraidan, Elli Fragkaki, Lujo Bauer, Michael Stroucken, Kazuhide Fukushima, Shinsaku Kiyomoto, and Yutaka Miyake. 2013. Run-Time Enforcement of Information-Flow Properties on Android. In Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9--13, 2013. Proceedings. 775--792."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/579617"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.36"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818791"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.04.001"},{"key":"e_1_3_2_1_38_1","volume-title":"Proc. of IEEE S&P.","author":"Mueller Kurt","year":"2011","unstructured":"Kurt Mueller and Kevin Butler. 2011. Poster: Flex-p: flexible android permissions. In Proc. of IEEE S&P."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516677"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755688.1755732"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818767"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1002\/sec.360"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2414456.2414498"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2014.13"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2615307"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2011","author":"Schlegel Roman","year":"2011","unstructured":"Roman Schlegel, Kehuan Zhang, Xiao-yong Zhou, Mehool Intwala, Apu Kapadia, and XiaoFeng Wang. 2011. Soundcomber: A Stealthy and Context-Aware Sound Trojan for Smartphones. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2011, San Diego, California, USA, 6th February - 9th February 2011."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","unstructured":"Daniel Schreckling Joachim Posegga Johannes K\u00c3\u0171stler and Matthias Schaff. 2012. Kynoid: Real-Time Enforcement of Fine-Grained User-Defined and Data-Centric Security Policies for Android. In Information Security Theory and Practice. Security Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems - 6th IFIP WG 11.2 International Workshop WISTP 2012 Egham UK June 20--22 2012. Proceedings. 208--223. 10.1007\/978-3-642-30955-7_18","DOI":"10.1007\/978-3-642-30955-7_18"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2010.11"},{"key":"e_1_3_2_1_49_1","volume-title":"APLAS 2014, Singapore, November 17--19, 2014, Proceedings. 216--235","author":"Song Fu","year":"2014","unstructured":"Fu Song and Tayssir Touili. 2014. Model-Checking for Android Malware Detection. In Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17--19, 2014, Proceedings. 216--235."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2733306"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.37"},{"key":"e_1_3_2_1_52_1","volume-title":"DeepDroid: Dynamically Enforcing Enterprise Policy on Android Devices. In 22nd Annual Network and Distributed System Security Symposium, NDSS 2015","author":"Wang Xueqiang","year":"2015","unstructured":"Xueqiang Wang, Kun Sun, Yuewu Wang, and Jiwu Jing. 2015. DeepDroid: Dynamically Enforcing Enterprise Policy on Android Devices. In 22nd Annual Network and Distributed System Security Symposium, NDSS 2015, San Diego, California, USA, February 8--11, 2014. The Internet Society."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/2362793.2362820"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/646704.702012"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2012.6461017"},{"key":"e_1_3_2_1_56_1","volume-title":"Detecting Passive Content Leaks and Pollution in Android Applications. In 20th Annual Network and Distributed System Security Symposium, NDSS 2013","author":"Zhou Yajin","year":"2013","unstructured":"Yajin Zhou and Xuxian Jiang. 2013. Detecting Passive Content Leaks and Pollution in Android Applications. In 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24--27, 2013."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/2022245.2022255"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180172","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180172","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:18Z","timestamp":1750208898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":57,"alternative-id":["10.1145\/3180155.3180172","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180172","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}