Abstract
A dynamic security mechanism for Android-powered devices based on runtime verification is introduced, which lets users monitor the behaviour of installed applications. The general idea and a prototypical implementation are outlined, an application to real-world security threats shown, and the underlying logical foundations, relating to the employed specification formalism, sketched. © 2012 Springer-Verlag.
Cite
CITATION STYLE
Bauer, A., Küster, J. C., & Vegliach, G. (2012). Runtime verification meets android security. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7226 LNCS, pp. 174–180). https://doi.org/10.1007/978-3-642-28891-3_18
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
