Model checking for malicious family detection and phylogenetic analysis in mobile environment

Autor: Cimino, Mario G.C.A., De Francesco, Nicoletta, Mercaldo, Francesco, Santone, Antonella, Vaglini, Gigliola
Zdroj: In Computers & Security March 2020 90
Databáze: ScienceDirect