المؤلفون: Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

المساهمون: Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

مصطلحات موضوعية: malware, botnet, Android, model checking, formal methods, temporal logic, security

وصف الملف: ELETTRONICO

العلاقة: 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

الإتاحة: https://doi.org/10.1016/j.procs.2019.09.263Test
http://hdl.handle.net/11568/1016574Test
https://www.sciencedirect.com/science/article/pii/S1877050919314590Test

المؤلفون: Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Visaggio, Corrado

المساهمون: University of Sannio Benevento, Elvira Albert, Ivan Lanese, TC 6, WG 6.1

المصدر: Lecture Notes in Computer Science ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01432919Test ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩

مصطلحات موضوعية: Malware, Android, Security, Formal methods, Temporal logic, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

جغرافية الموضوع: Heraklion, Greece

العلاقة: hal-01432919; https://hal.inria.fr/hal-01432919Test; https://hal.inria.fr/hal-01432919/documentTest; https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-319-39570-8_14Test
https://hal.inria.fr/hal-01432919Test
https://hal.inria.fr/hal-01432919/documentTest
https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest

المؤلفون: Canfora, Gerardo, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Visaggio, Corrado Aaron

المساهمون: Canfora, Gerardo, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Visaggio, Corrado Aaron

مصطلحات موضوعية: Android, Automata, Humanoid robot, Malware, Model checking, Payload, Security, testing, Tool, Software

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000502756700004; firstpage:1; lastpage:1; numberofpages:1; journal:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; http://hdl.handle.net/11695/79247Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85046823329; http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32Test

الإتاحة: https://doi.org/10.1109/TSE.2018.2834344Test
http://hdl.handle.net/11695/79247Test
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32Test

المؤلفون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, SANTONE, Antonella, Sangaiah, Arun Kumar, Cimitile, Aniello

المساهمون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Sangaiah, Arun Kumar, Cimitile, Aniello

مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Obfuscation, Software, Theoretical Computer Science, Hardware and Architecture, Computer Networks and Communication, Artificial Intelligence

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000435425500017; volume:119; firstpage:203; lastpage:218; numberofpages:16; journal:JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING; http://hdl.handle.net/11695/79376Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85047166991; http://www.elsevier.com/inca/publications/store/6/2/2/8/9/5/index.httTest

الإتاحة: https://doi.org/10.1016/j.jpdc.2018.04.008Test
http://hdl.handle.net/11695/79376Test
http://www.elsevier.com/inca/publications/store/6/2/2/8/9/5/index.httTest

المؤلفون: Cimitile, Aniello¹, Nardone, Vittoria¹, Visaggio, Corrado Aaron¹, Mercaldo, Francesco², Santone, Antonella³

المصدر: International Journal of Information Security. Nov2018, Vol. 17 Issue 6, p719-738. 20p.

مصطلحات موضوعية: *MALWARE, *CELL phones, *RANSOMWARE, *SECURITY management

Reviews & Products: ANDROID (Operating system)

المؤلفون: Martinelli, Fabio¹ (AUTHOR), Mercaldo, Francesco^1,2 (AUTHOR) francesco.mercaldo@iit.cnr.it, Nardone, Vittoria³ (AUTHOR), Santone, Antonella² (AUTHOR), Vaglini, Gigliola⁴ (AUTHOR)

المصدر: Simulation Modelling Practice & Theory. Dec2020, Vol. 105, pN.PAG-N.PAG. 1p.

مصطلحات موضوعية: *MOBILE operating systems, *MALWARE prevention, *MACHINE learning

Reviews & Products: ANDROID (Operating system)