Metodi Formali per la rilevazione di collusioni in ambiente Android
Metodo con model checking, Mu-Calculus, due euristiche, FlowDroid e CWB-NC per scoprire su Android i colluding attack, in cui il payload è diviso tra più app; l’accuracy ottenuta è pari a 0.99.
