A certified reference validation mechanism for the permission model of Android

DOI10.1007/978-3-319-94460-9_16MaRDI QIDQ1671162zbMATH OpenOpenAlexFDO

Authors Gustavo Betarte, Felipe Gorostiaga, Carlos Luna, Juan Diego Campo

Publication date 6 September 2018

Full work available at URL https://arxiv.org/abs/1709.03652

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of operating systems (68N25) Computer security (68M25)

Recommendations

• Verifying Android's permission model
• Formal analysis of Android's permission-based security model
• EviCheck: Digital Evidence for Android
• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
• EAdroid: providing environment adaptive security for Android system

Cited in

(5)

• EAdroid: providing environment adaptive security for Android system
• An automatically verified prototype of the Android permissions system
• Formal analysis of Android's permission-based security model
• A solution of code authentication on android
• Verifying Android's permission model

Describes a project that uses

Uses Software

• Coq

This page was built for publication: A certified reference validation mechanism for the permission model of Android

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