The application collusion attack is a new form of threat that is becoming widespread in mobile environment. This technique requires that two or more apps cooperate in some way with the aim to perform a malicious action that they are unable to perform independently. In this paper we present a method exploiting the model checking technique aimed to detect whether two or more apps are performing a collusion attack. We also propose a heuristic function able to reduce the number of the analyzed apps and to localize the collusion. The preliminary investigation has brought very promising results.
CITATION STYLE
Casolare, R., Martinelli, F., Mercaldo, F., Nardone, V., & Santone, A. (2020). Colluding Android Apps Detection via Model Checking. In Advances in Intelligent Systems and Computing (Vol. 1150 AISC, pp. 776–786). Springer. https://doi.org/10.1007/978-3-030-44038-1_71
Mendeley helps you to discover research relevant for your work.