مؤتمر
Download malware? no, thanks ; how formal methods can block update attacks
| العنوان: | Download malware? no, thanks ; how formal methods can block update attacks |
|---|---|
| المؤلفون: | Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Visaggio, Corrado Aaron |
| المصدر: | Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering |
| بيانات النشر: | ACM |
| سنة النشر: | 2016 |
| نوع الوثيقة: | conference object |
| اللغة: | unknown |
| DOI: | 10.1145/2897667.2897673 |
| الإتاحة: | https://doi.org/10.1145/2897667.2897673Test |
| حقوق: | http://www.acm.org/publications/policies/copyright_policy#BackgroundTest |
| رقم الانضمام: | edsbas.DDA029FA |
| قاعدة البيانات: | BASE |
| DOI: | 10.1145/2897667.2897673 |
|---|