Formal Analysis of Android's Permission-Based Security Model

DOI10.7561/SACS.2016.1.27zbMath1424.68029OpenAlexW2575185288WikidataQ114917394 ScholiaQ114917394MaRDI QIDQ4621200

Could not fetch data.

Publication date: 8 February 2019

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7561/sacs.2016.1.27

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.