Runtime verification meets android security
Date
2012
Authors
Bauer, Andreas
Kuester, Jan-Christoph
Vegliach, Gil
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
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.
Description
Keywords
Keywords: Dynamic security; Logical foundations; Prototypical implementation; Run-time verification; Security threats; NASA; Robots
Citation
Collections
Source
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Type
Conference paper