مؤتمر
Model Checking to Detect the Hummingbad Malware
العنوان: | Model Checking to Detect the Hummingbad Malware |
---|---|
المؤلفون: | Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G. |
المساهمون: | Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G. |
بيانات النشر: | Springer |
سنة النشر: | 2020 |
المجموعة: | ARPI - Archivio della Ricerca dell'Università di Pisa |
مصطلحات موضوعية: | Android, Formal method, Malware, Model checking, Security |
الوصف: | Typically, when a platform is widely disseminated, malicious writers focus their attention in order to perpetrate attacks on the widespread environment. This is the reason why nowadays there exists a series of attacks targeting the Android operating system, the most common platform available for mobile devices. In this paper we present a tool implementing a model checking-based approach to identify Android malware. Furthermore, the tool is also useful to localize the malicious behaviour of the application under analysis code. We evaluate the effectiveness of the tool on real-world samples belonging to the HummingBad malware family, one of the most recent and aggressive Android threats. |
نوع الوثيقة: | conference object |
وصف الملف: | STAMPA |
اللغة: | English |
العلاقة: | info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32257-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32258-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000570007800057; ispartofbook:Studies in Computational Intelligence; 13th International Symposium on Intelligent Distributed Computing, IDC 2019; volume:868; firstpage:485; lastpage:494; numberofpages:10; serie:STUDIES IN COMPUTATIONAL INTELLIGENCE; http://hdl.handle.net/11568/1047733Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075566299 |
DOI: | 10.1007/978-3-030-32258-8_57 |
الإتاحة: | https://doi.org/10.1007/978-3-030-32258-8_57Test http://hdl.handle.net/11568/1047733Test |
رقم الانضمام: | edsbas.E06ABC0D |
قاعدة البيانات: | BASE |
DOI: | 10.1007/978-3-030-32258-8_57 |
---|