-
1مؤتمر
المساهمون: 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]
العلاقة: 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 -
2مؤتمر
المساهمون: 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]
العلاقة: 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 -
3مؤتمر
المؤلفون: Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G.
المساهمون: Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G.
مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Security
وصف الملف: STAMPA
العلاقة: 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
-
4مؤتمر
المؤلفون: Bernardeschi C., Mercaldo F., Nardone V., Santone A.
المساهمون: KES, Bernardeschi, C., Mercaldo, F., Nardone, V., Santone, A.
مصطلحات موضوعية: Android, botnet, formal method, malware, model checking, security, temporal logic
العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000571151500099; ispartofbook:KES; volume:159; firstpage:963; lastpage:972; numberofpages:10; journal:PROCEDIA COMPUTER SCIENCE; http://hdl.handle.net/11695/90906Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85076259247; http://www.sciencedirect.com/science/journal/18770509Test
الإتاحة: https://doi.org/10.1016/j.procs.2019.09.263Test
http://hdl.handle.net/11695/90906Test
http://www.sciencedirect.com/science/journal/18770509Test -
5مؤتمر
المؤلفون: Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G.
المساهمون: 13th International Symposium on Intelligent Distributed Computing, Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G.
مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Security
العلاقة: 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/11695/90571Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075566299; http://www.springer.com/series/7092Test
الإتاحة: https://doi.org/10.1007/978-3-030-32258-8_57Test
http://hdl.handle.net/11695/90571Test
http://www.springer.com/series/7092Test -
6مؤتمر
المؤلفون: Fasano Fausto, Martinelli F, Mercaldo F, Nardone V, Santone A
المساهمون: Paolo Mori, Steven Furnell, Olivier Camp, Fasano, Fausto, Martinelli, F, Mercaldo, F, Nardone, V, Santone, A
مصطلحات موضوعية: Android, Formal Method, Malware, Security, Temporal Logic
العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000570402400076; ispartofbook:ICISSP 2019 - Proceedings of the 5th International Conference on Information Systems Security and Privacy; 5th International Conference on Information Systems Security and Privacy, ICISSP 2019; firstpage:690; lastpage:699; numberofpages:10; http://hdl.handle.net/11695/88660Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85064710074; http://www.scitepress.org/DigitalLibrary/HomePage.aspxTest
-
7مؤتمر
المؤلفون: Fasano F., Martinelli F., Mercaldo F., Nardone V., Santone A.
المساهمون: Paolo Mori, Steven Furnell, Fasano, F., Martinelli, F., Mercaldo, F., Nardone, V., Santone, A.
مصطلحات موضوعية: Malware, Android, Security, Formal Method, Temporal Logic
العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000570402400076; ispartofbook:Proceedings of the 5th International Conference on Information Systems Security and Privacy (ICISSP 2019), pages 690-699; firstpage:690; lastpage:699; numberofpages:10; https://hdl.handle.net/11695/131289Test
-
8مؤتمر
المؤلفون: Martinelli F., Mercaldo F., Nardone V.
المساهمون: ICISSP 2018 - Proceedings of the 4th International Conference on Information Systems Security and Privacy, Martinelli, F., Mercaldo, F., Nardone, V.
مصطلحات موضوعية: Android, Model Checking, Security
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-989-758-282-0; ispartofbook:ICISSP 2018 - Proceedings of the 4th International Conference on Information Systems Security and Privacy; 4th International Conference on Information Systems Security and Privacy, ICISSP 2018; volume:2018-; firstpage:589; lastpage:596; numberofpages:8; https://hdl.handle.net/11695/115420Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85052013552
-
9مؤتمر
المؤلفون: 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
