Towards 3-level hybrid security model for Android Operating Systems
Formalisation and analysis of Dalvik bytecode