Formal verification of security protocols

• Main Author: Mok, Xin Mun
• Other Authors: Zhang Tianwei
• Format: Final Year Project
• Language: English
• Published: Nanyang Technological University 2022
• Subjects: Engineering::Computer science and engineering
• Online Access: https://hdl.handle.net/10356/156650
• Institution: Nanyang Technological University

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