Formal verification of security protocols

• المؤلف الرئيسي: Mok, Xin Mun
• مؤلفون آخرون: Zhang Tianwei
• التنسيق: Final Year Project
• اللغة: English
• منشور في: Nanyang Technological University 2022
• الموضوعات: Engineering::Computer science and engineering
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/156650

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...