Exploiting Model Checking for Mobile Botnet Detection.

Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Browse the full KES paper archive.