Contextual Policy Enforcement in Android Programs with Permission Event Graphs
The difference between a malicious and a benign Android application can often be characterised by context and sequence in which certain permissions and APIs are used. We present a new technique for checking temporal properties of the interaction between an application and the Android event system. O...
| Main Authors: | , , , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
2013
|