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