Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/45405' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/45405' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Model Checking for Mobile Android Malware Evolution | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

Model Checking for Mobile Android Malware Evolution

Software engineering researchers have largely demonstrated that newer versions of software make use of previous versions. No exception to this rule for the so-called malicious software, that frequently evolves in order to evade the detection by antimalware. As matter of fact, mobile malicious programs, such as trojans, are frequently related to previous malware through evolutionary relationships. Discovering those relationships and constructing a phylogenetic model is expected to be helpful for analyzing new malware and for establishing a principled naming scheme. In this paper we propose a model checking based method to infer mobile malware phylogenetic trees. We demonstrate, implementing our approach in the droidSapiens tool, that mobile malware families come from an ancestor and they influence own descendant, basing on the payload that they exhibit.

Formal Methods in Software Engineering, ICSE, International Conference on Software Engineering, Buenos Aires, Argentina, 2017

Autori esterni: Aniello Cimitile (Dipartimento di Ingegneria, Università degli Studi del Sannio), Vittoria Nardone (Dipartimento di Ingegneria, Università degli Studi del Sannio), Antonella Santone (Dipartimento di Ingegneria, Università degli Studi del Sannio), Gigliola Vaglini (Dipartimento di Ingegneria dell'Informazione, Università di Pisa)
Autori IIT:

Tipo: Contributo in atti di convegno
Area di disciplina: Computer Science & Engineering

File: model-checking-mobile.pdf

Attività: Sicurezza di dispositivi mobili