Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini. Model checking for malicious family detection and phylogenetic analysis in mobile environment. Computers & Security, 90:101691, 2020. [doi]
Abstract is missing.