Colluding Android Apps Detection via Model Checking

Authors

Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Publication

Workshops of the International Conference on Advanced Information Networking and Applications
WAINA 2020: Web, Artificial Intelligence and Network Applications pp 776-786

https://doi.org/10.1007/978-3-030-44038-1_71

Abstract

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.