A Model Checking based Proposal for Mobile Colluding Attack Detection
Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone · 2019
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 propose the adoption of model checking to detect whether two or more apps are performing a collusion attack.