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]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.