Please use this identifier to cite or link to this item:
Title: Formal verification of security protocols
Authors: Mok, Xin Mun
Keywords: Engineering::Computer science and engineering
Issue Date: 2022
Publisher: Nanyang Technological University
Source: Mok, X. M. (2022). Formal verification of security protocols. Final Year Project (FYP), Nanyang Technological University, Singapore.
Project: SCSE 21-0363
Abstract: 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.
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
Amended Final Report.pdf
  Restricted Access
2.92 MBAdobe PDFView/Open

Page view(s)

Updated on May 15, 2022


Updated on May 15, 2022

Google ScholarTM


Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.