Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga. A formal approach for the verification of the permission-based security model of Android. CLEI Electron. J., 21(2), 2018. [doi]
@article{LunaBCSCG18,
title = {A formal approach for the verification of the permission-based security model of Android},
author = {Carlos Luna and Gustavo Betarte and Juan Diego Campo and Camila Sanz and Maximiliano Cristiá and Felipe Gorostiaga},
year = {2018},
doi = {10.19153/cleiej.21.2.3},
url = {https://doi.org/10.19153/cleiej.21.2.3},
researchr = {https://researchr.org/publication/LunaBCSCG18},
cites = {0},
citedby = {0},
journal = {CLEI Electron. J.},
volume = {21},
number = {2},
}