A formal approach for the verification of the permission-based security model of Android

A formal approach for the verification of the permission-based security model of Android

This article reports on our experiences in applying formal methods to verify the security mechanisms of Android. We have developed a comprehensive formal specification of Android's permission model, which has been used to state and prove properties that establish expected behavior of the proce...

Full description

Bibliographic Details
Main Authors: Carlos Luna, Gustavo Betarte, Juan Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga
Format: Article
Language:English
Published: Centro Latinoamericano de Estudios en Informática 2018-08-01
Series:CLEI Electronic Journal
Subjects:
Android
Formal idealized model
Reference monitor
Certified implementation
Model-based security testing
Online Access:http://clei.org/cleiej-beta/index.php/cleiej/article/view/41

Internet

http://clei.org/cleiej-beta/index.php/cleiej/article/view/41

Similar Items