Formal verification of security protocols
Formal verification is the use of mathematical rules and logic to ensure the correctness of a system, whereby the system does not reach an undesirable state given a set of actions. Many protocols, although well documented and approved, when improperly implemented can result in the system producing a...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Final Year Project |
| اللغة: | English |
| منشور في: |
Nanyang Technological University
2022
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://hdl.handle.net/10356/156650 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| المؤسسة: | Nanyang Technological University |
| اللغة: | English |
| الملخص: | Formal verification is the use of mathematical rules and logic to ensure the correctness of a system, whereby the system does not reach an undesirable state given a set of actions. Many protocols, although well documented and approved, when improperly implemented can result in the system producing an undesired outcome. This project aims to verify the correctness of modern security protocols when placed in a certain context. Specifically, the protocols used in V2V communications in a CACC system in the context of vehicle platooning. |
|---|