Language-based security on Android
Abstract
In this paper, we initiate a formal study of security on An-droid: Google’s new open-source platform for mobile de-vices. Specifically, we present a core typed language to de-scribe Android applications, and to reason about their data-flow security properties. Our operational semantics and type system provide some necessary foundations to help both users and developers of Android applications deal with their security concerns- text
- Categories and Subject Descriptors D.4.6 [Operating Sys- tems
- Security and Protection—Access controls
- Verifi- cation
- D.3.3 [Programming Languages
- Language Con- structs and Features—Control constructs General Terms Security
- Languages
- Verification Keywords data-flow security
- hybrid type system
- mobile code
- certified
Similar works
This paper was published in CiteSeerX.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.