Runtime verification meets android security

Authors:
Andreas Bauer;Jan-Christoph Küster;Gil Vegliach
Affiliations:
NICTA Software Systems Research Group, Australia and The Australian National University, Australia;NICTA Software Systems Research Group, Australia and The Australian National University, Australia;NICTA Software Systems Research Group, Australia
Venue:
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Year:
2012

Citing 7
Cited 0

Behavioral detection of malware on mobile handsets

Proceedings of the 6th international conference on Mobile systems, applications, and services
Semantically Rich Application-Centric Security in Android

ACSAC '09 Proceedings of the 2009 Annual Computer Security Applications Conference
TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Runtime Verification for LTL and TLTL

ACM Transactions on Software Engineering and Methodology (TOSEM)
The effectiveness of application permissions

WebApps'11 Proceedings of the 2nd USENIX conference on Web application development
Android permissions demystified

Proceedings of the 18th ACM conference on Computer and communications security
Java-MOP: a monitoring oriented programming environment for java

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

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.