TY - GEN
T1 - Runtime verification meets android security
AU - Bauer, Andreas
AU - Küster, Jan Christoph
AU - Vegliach, Gil
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84859476027&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-28891-3_18
DO - 10.1007/978-3-642-28891-3_18
M3 - Conference contribution
SN - 9783642288906
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 174
EP - 180
BT - NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings
T2 - 4th NASA Formal Methods Symposium, NFM 2012
Y2 - 3 April 2012 through 5 April 2012
ER -