Media type: E-Article Title: FM 2015: Formal Methods: Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification Contributor: Bagheri, Hamid; Kang, Eunsuk; Malek, Sam; Jackson, Daniel Published: Springer International Publishing, 2015 Published in: FM 2015: Formal Methods (2015), Seite 73-89 Language: Not determined DOI: 10.1007/978-3-319-19249-9_6 ISBN: 9783319192482; 9783319192499 ISSN: 0302-9743; 1611-3349 Origination: Footnote: