ISR
A Formal Approach for Detection of Security Flaws in the Android Permission System
| Title | A Formal Approach for Detection of Security Flaws in the Android Permission System |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Bagheri, H., E. Kang, S. Malek, and D. Jackson |
| Journal | Springer Journal on Formal Aspects of Computing |
| Start Page | 1-20 |
| Type of Article | First online: Nov 7, 2017 |
| DOI | 10.1007/s00165-017-0445-z |