يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"Nardone, Vittoria"', وقت الاستعلام: 0.82s تنقيح النتائج
  1. 1
    مؤتمر
    Ransomware Steals Your Phone. Formal Methods Rescue It

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

    View record in BASE

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Ransomware Steals Your Phone. Formal Methods Rescue It

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

    View record in BASE

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث