Formal Verification of a Security Protocol in Vehicular Communication
A Master of Science thesis in Computer Engineering by Mohamed Adel Almaazmi entitled, “Formal Verification of a Security Protocol in Vehicular Communication”, submitted in April 2025. Thesis advisor is Dr. Dana Dghaym. Soft copy is available (Thesis, Completion Certificate, Approval Signatures, and...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | doctoralThesis |
| منشور في: |
2025
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://hdl.handle.net/11073/26139 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|