دورية أكاديمية
Exploiting Model Checking for Mobile Botnet Detection
| العنوان: | Exploiting Model Checking for Mobile Botnet Detection |
|---|---|
| المؤلفون: | Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella |
| المساهمون: | Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella |
| سنة النشر: | 2019 |
| المجموعة: | ARPI - Archivio della Ricerca dell'Università di Pisa |
| مصطلحات موضوعية: | malware, botnet, Android, model checking, formal methods, temporal logic, security |
| الوصف: | Android malware is increasing from the point of view of the complexity and the harmful actions. As a matter fact, malware writers are developing sophisticated techniques to infect mobile devices very closed to their counterpart for personal computers. One of these threats is represented by the possibility to control the infected devices from the attacker i.e., the so-called botnet. In this paper a method able to identify botnet in Android environment through model checking is proposed. Starting from the malicious payload definition, the proposed method is able to detect and to localize the code related to the malicious botnet. We experiment real-world botnet based Android malware, obtaining encouraging results. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | ELETTRONICO |
| اللغة: | English |
| العلاقة: | info:eu-repo/semantics/altIdentifier/wos/WOS:000571151500099; volume:159; firstpage:963; lastpage:972; numberofpages:10; journal:PROCEDIA COMPUTER SCIENCE; http://hdl.handle.net/11568/1016574Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85076259247; https://www.sciencedirect.com/science/article/pii/S1877050919314590Test |
| DOI: | 10.1016/j.procs.2019.09.263 |
| الإتاحة: | https://doi.org/10.1016/j.procs.2019.09.263Test http://hdl.handle.net/11568/1016574Test https://www.sciencedirect.com/science/article/pii/S1877050919314590Test |
| حقوق: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.69BAD0D1 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1016/j.procs.2019.09.263 |
|---|