A Certified Reference Validation Mechanism for the Permission Model of Android-Reference-Cited by-同舟云学术

A Certified Reference Validation Mechanism for the Permission Model of Android

Published:2018 Issue: Volume: Page:271-288
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Betarte Gustavo,Campo Juan,Gorostiaga Felipe,Luna Carlos

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-94460-9_16

Reference26 articles.

1. Anderson, J.P.: Computer Security technology planning study. Technical report, Deputy for Command and Management System, USA (1972)

2. Android Developers: Application Fundamentals. http://developer.android.com/guide/components/fundamentals.html . Accessed Feb 2018

3. Android Developers: Requesting Permissions at Run Time. https://developer.android.com/intl/es/training/permissions/requesting.html . Accessed Feb 2018

4. Android Developers: R.styleable. http://developer.android.com/reference/android/R.styleable.html . Accessed Feb 2018

5. Armando, A., Carbone, R., Costa, G., Merlo, A.: Android permissions unleashed. In: Fournet, C., Hicks, M., Viganò, L. (eds.) IEEE 28th Computer Security Foundations Symposium, pp. 320–333. IEEE Computer Society (2015)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Automatically Verified Prototype of the Android Permissions System;Journal of Automated Reasoning;2023-05-12

2. Formal model for inter-component communication and its security in android;Computing;2022-03-27

3. Malware Detection in Android System Based on Change Perception;Intelligent Computing Theories and Application;2019