Formal analysis of Android's permission-based security model
DOI10.7561/SACS.2016.1.27zbMATH Open1424.68029OpenAlexW2575185288WikidataQ114917394 ScholiaQ114917394MaRDI QIDQ4621200FDOQ4621200
Authors: Gustavo Betarte, Carlos Luna, Agustín Romano, Juan Diego Campo 
Publication date: 8 February 2019
Published in: Scientific Annals of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.7561/sacs.2016.1.27
Recommendations
- Verifying Android's permission model
- A certified reference validation mechanism for the permission model of Android
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
- Once root always a threat: analyzing the security threats of Android permission system
- Presenting risks introduced by Android application permissions in a user-friendly way
Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62) Theory of operating systems (68N25)
Cited In (11)
- Once root always a threat: analyzing the security threats of Android permission system
- Presenting risks introduced by Android application permissions in a user-friendly way
- Verifying Android's permission model
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
- A type and effect system for activation flow of components in Android programs
- A certified reference validation mechanism for the permission model of Android
- An automatically verified prototype of the Android permissions system
- An automatically verified prototype of the Tokeneer ID station specification
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers
- EAdroid: providing environment adaptive security for Android system
- Mining API calls and permissions for android malware detection
Uses Software
This page was built for publication: Formal analysis of Android's permission-based security model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621200)
