Verifying Android's permission model

DOI10.1007/978-3-319-25150-9_28MaRDI QIDQ2787445zbMATH OpenOpenAlexFDO

Authors Gustavo Betarte, Carlos Luna, Agustín Romano, Juan Diego Campo

Publication date 25 February 2016

Published in Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25150-9_28

zbMATH Keywords

AndroidCoqformal verificationsecurity properties

Mathematics Subject Classification ID

Computer security (68M25) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Formal analysis of Android's permission-based security model
• A certified reference validation mechanism for the permission model of Android
• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
• Presenting risks introduced by Android application permissions in a user-friendly way
• EviCheck: Digital Evidence for Android

Cited in

(10)

• A certified reference validation mechanism for the permission model of Android
• A type and effect system for activation flow of components in Android programs
• A solution of code authentication on android
• Formal analysis of Android's permission-based security model
• Once root always a threat: analyzing the security threats of Android permission system
• Running multiple Androids on one ARM platform
• Presenting risks introduced by Android application permissions in a user-friendly way
• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
• An automatically verified prototype of the Android permissions system
• A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers

Describes a project that uses

Uses Software

• Coq
• Lintent
• CRePE

This page was built for publication: Verifying Android's permission model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2787445)