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 |
Externí odkaz: |