A Formal Approach for Detection of Security Flaws in the Android Permission System

TitleA Formal Approach for Detection of Security Flaws in the Android Permission System
Publication TypeJournal Article
Year of PublicationIn Press
AuthorsBagheri, H., E. Kang, S. Malek, and D. Jackson
JournalSpringer Journal on Formal Aspects of Computing
Start Page1-20
Type of ArticleFirst online: Nov 7, 2017
DOI10.1007/s00165-017-0445-z