![](/img/cover-not-exists.png)
[IEEE 2017 XLIII Latin American Computer Conference (CLEI) - Cordoba (2017.9.4-2017.9.8)] 2017 XLIII Latin American Computer Conference (CLEI) - Towards formal model-based analysis and testing of Android's security mechanisms
Betarte, Gustavo, Campo, Juan, Cristia, Maximiliano, Gorostiaga, Felipe, Luna, Carlos, Sanz, CamilaYear:
2017
Language:
english
DOI:
10.1109/CLEI.2017.8226404
File:
PDF, 341 KB
english, 2017