May 5, 2017
Estudiantes: Camila Sanz
Tutores: <a href=https://www.fing.edu.uy/inco/grupos/gsi/team/gustavo-betarte/>Gustavo Betarte</a>, <a href=https://www.fing.edu.uy/inco/grupos/gsi/team/juan-diego-campo/>Juan Diego Campo</a>, <a href=https://www.fing.edu.uy/inco/grupos/gsi/team/carlos-luna/>Carlos Luna</a>
En los últimos años se ha observado un marcado incremento en el número de dispositivos móviles que tienen a Android como sistema operativo. Por este motivo, una falla en la seguridad de dicha plataforma afectaría a una gran cantidad de usuarios de distintas formas, por ejemplo, dejando expuesta información sensible guardada en el dispositivo. Este elevado número de víctimas potenciales alientan a los creadores de aplicaciones maliciosas a elegir a Android como objetivo de sus ataques. Es por ello que el análisis y fortalecimiento de su modelo de seguridad se ha convertido en una tarea importante, que despierta el interés de numerosos investigadores. Este trabajo propone realizar un análisis formal exhaustivo del modelo de seguridad instrumentado por Android, considerando especificaciones e implementaciones existentes, y teniendo en cuenta trabajos previos en el área.