Skip navigation
Skip navigation

Efficient runtime monitoring with metric temporal logic: A case study in the android operating system

Gunadi, Hendra; Tiu, Alwen


We present a design and an implementation of a security policy specification language based on metric linear-time temporal logic (MTL). MTL features temporal operators that are indexed by time intervals, allowing one to specify timing-dependent security policies. The design of the language is driven by the problem of runtime monitoring of applications in mobile devices. A main case of the study is the privilege escalation attack in the Android operating system, where an app gains access to...[Show more]

CollectionsANU Research Publications
Date published: 2014
Type: Conference paper
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOI: 10.1007/978-3-319-06410-9_21


File Description SizeFormat Image
01_Gunadi_Efficient_runtime_monitoring_2014.pdf136.08 kBAdobe PDF    Request a copy
02_Gunadi_Efficient_runtime_monitoring_2014.pdf312.25 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator