How useful are existing monitoring languages for securing Android apps?


The Android operating system is currently dominating the mobile device market in terms of penetration and growth rate. An important contributor to its success are a wealth of cheap and easy-to-install mobile applications, known as apps. Today, installing untrusted apps is the norm, though this comes with risks: malware is ubiquitous and can easily leak confidential and sensitive data.

In this work, we investigate the extent to which we can specify complex information flow properties using existing specification languages for runtime monitoring, with the goal to encapsulate potentially harmful apps and prevent private data from leaking. By modelling a set of representative, Android-specific security policies with Tracematches, JavaMOP, Dataflow Pointcuts and PQL, we are able to identify policy-language features that are crucial for effectively defining runtime-enforceable Android security properties.

Our evaluation demonstrates that while certain property languages suit our purposes better than others, they all lack essential features that would, if present, allow users to provide effective security guarantees about apps. We discuss those shortcomings and propose several possible mechanisms to overcome them.

[PDF] In: 6. Arbeitstagung Programmiersprachen (ATPS 2013), LNI 251, Gesellschaft für Informatik, 2013.

Tags: Runtime Verification, security, DAAD By Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Volker Stolz, Steven Arzt, Eric Bodden
Published Jan. 28, 2013 5:58 PM - Last modified Jan. 28, 2013 6:04 PM