التفاصيل البيبلوغرافية
| العنوان: |
Exploiting Model Checking for Mobile Botnet Detection. |
| المؤلفون: |
Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella |
| المصدر: |
Procedia Computer Science; 2019, Vol. 159, p963-972, 10p |
| مصطلحات موضوعية: |
BOTNETS, PERSONAL computers, MALWARE |
| Reviews & Products: |
ANDROID (Operating system) |
| مستخلص: |
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. [ABSTRACT FROM AUTHOR] |
|
Copyright of Procedia Computer Science is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Supplemental Index |
Full Text Finder