Abstract
The Android OS supports multiple communication methods between apps. This opens the possibility to carry out threats in a collaborative fashion, c.f. the Soundcomber example from 2011. In this paper we demonstrate an effective attempt to detect collusion via model-checking a set of apps utilising the K framework.
Cite
CITATION STYLE
Asăvoae, I. M., Nguyen, H. N., Roggenbach, M., & Shaikh, S. (2016). Utilising K semantics for collusion detection in android applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9933 LNCS, pp. 142–149). Springer Verlag. https://doi.org/10.1007/978-3-319-45943-1_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
