"informal model"

The Android Platform Security Model

Android is the most widely deployed end-user focused operating system. With its growing set of use cases encompassing communication, …

René Mayrhofer, Jeffrey Vander Stoep, Chad Brubaker, Nick Kralevich