A formal approach for detection of security flaws in the android permission system
Crossref DOI link: https://doi.org/10.1007/s00165-017-0445-z
Published Print: 2018-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bagheri, Hamid
Kang, Eunsuk
Malek, Sam
Jackson, Daniel
License valid from 2018-09-01