Language-based security on Android
Understanding Android Security