2 papers
cs.CR2022
Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System
Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani
Android is a widely used operating system that employs a permission-based access control model. The Android Permissions System (APS) is responsible for mediating application resour…
cs.CR2022
A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System
Amirhosein Sayyadabdi
Android is a widely deployed operating system that employs a permission-based access control model. The Android Permissions System (APS) is responsible for mediating resource reque…