المؤلفون: 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

المؤلفون: Cimitile, Aniello, Mercaldo, Francesco, Martinelli, Fabio, Nardone, Vittoria, Santone, Antonella, VAGLINI, GIGLIOLA

المساهمون: Cimitile, Aniello, Mercaldo, Francesco, Martinelli, Fabio, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola

مصطلحات موضوعية: security, malware, evolution, phylogenesy, model checking

وصف الملف: STAMPA

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

الإتاحة: https://doi.org/10.1109/FormaliSE.2017.4Test
http://hdl.handle.net/11568/870836Test
https://ieeexplore.ieee.org/document/7967989Test

المؤلفون: 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)