First work on problem description

Section exported to separate `.tex` file.
I'd like to keep sources scientific, and I'm having trouble finding a scientific source explaining it. I've added a source for the android security model in my revisions.