Security analysis of Android applications - Etudiants Supélec Accéder directement au contenu
Mémoire D'étudiant Année : 2014

Security analysis of Android applications

Résumé

The now ubiquitous Android platform lacks security features that are considered to be necessary given how easily an application can be uploaded on markets by third-party developers and distributed to a large set of devices. Fortunately, static analysis can help developers, markets and users improve the quality and security of applications at a reasonable cost by being automated. While most existing analyses target specific security properties, we take a step back to build better foundations for the analysis of Android applications. We describe a model and give semantics for a significant part of the system by studying what obstacles existing analyses have faced. We then adapt a classical analysis, known as points-to analysis, to applications. This leads us to design and implement a new form of context-sensitivity for Android, paving the way for further experimentation and more specific security analyses.
Fichier principal
Vignette du fichier
mri20132014_submission_85.pdf (1.99 Mo) Télécharger le fichier
Loading...

Dates et versions

dumas-01088788 , version 1 (04-01-2015)

Licence

Paternité

Identifiants

  • HAL Id : dumas-01088788 , version 1

Citer

Bertrand Bonnefoy-Claudet. Security analysis of Android applications. Formal Languages and Automata Theory [cs.FL]. 2014. ⟨dumas-01088788⟩
521 Consultations
874 Téléchargements

Partager

Gmail Facebook X LinkedIn More