مؤتمر
Model Checking for Mobile Android Malware Evolution
العنوان: | Model Checking for Mobile Android Malware Evolution |
---|---|
المؤلفون: | Cimitile, Aniello, Mercaldo, Francesco, Martinelli, Fabio, Nardone, Vittoria, Santone, Antonella, VAGLINI, GIGLIOLA |
المساهمون: | Cimitile, Aniello, Mercaldo, Francesco, Martinelli, Fabio, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola |
بيانات النشر: | Institute of Electrical and Electronics Engineers Inc. USA Piscataway, NJ |
سنة النشر: | 2017 |
المجموعة: | ARPI - Archivio della Ricerca dell'Università di Pisa |
مصطلحات موضوعية: | security, malware, evolution, phylogenesy, model checking |
الوصف: | —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 droid- Sapiens tool, that mobile malware families come from an ancestor and they influence own descendant, basing on the payload that they exhibit. |
نوع الوثيقة: | conference object |
وصف الملف: | STAMPA |
اللغة: | English |
العلاقة: | info:eu-repo/semantics/altIdentifier/isbn/978-153860422-9; info:eu-repo/semantics/altIdentifier/wos/WOS:000427065300005; ispartofbook:Proceedings - 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017; 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017; firstpage:24; lastpage:30; numberofpages:7; http://hdl.handle.net/11568/870836Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85027441414; https://ieeexplore.ieee.org/document/7967989Test |
DOI: | 10.1109/FormaliSE.2017.4 |
الإتاحة: | https://doi.org/10.1109/FormaliSE.2017.4Test http://hdl.handle.net/11568/870836Test https://ieeexplore.ieee.org/document/7967989Test |
رقم الانضمام: | edsbas.B5280F26 |
قاعدة البيانات: | BASE |
DOI: | 10.1109/FormaliSE.2017.4 |
---|