Loading...
Please wait, while we are loading the content...
Similar Documents
Runtime verification meets android security.
| Content Provider | CiteSeerX |
|---|---|
| Author | Bauer, Andreas Küster, Jan-Christoph Vegliach, Gil |
| Abstract | 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. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Runtime Verification Meet Android Security Dynamic Security Mechanism Real-world Security Threat Specification Formalism Installed Application Android-powered Device Prototypical Implementation Runtime Verification General Idea Underlying Logical Foundation |
| Content Type | Text |
| Resource Type | Article |