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

Full description

Saved in:

Bibliographic Details
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
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Nanyang Technological University
Language:	English

id	sg-ntu-dr.10356-156650
record_format	dspace
spelling	sg-ntu-dr.10356-1566502022-04-22T01:29:07Z Formal verification of security protocols Mok, Xin Mun Zhang Tianwei School of Computer Science and Engineering tianwei.zhang@ntu.edu.sg Engineering::Computer science and engineering 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. Bachelor of Engineering (Computer Engineering) 2022-04-22T01:29:06Z 2022-04-22T01:29:06Z 2022 Final Year Project (FYP) Mok, X. M. (2022). Formal verification of security protocols. Final Year Project (FYP), Nanyang Technological University, Singapore. https://hdl.handle.net/10356/156650 https://hdl.handle.net/10356/156650 en SCSE 21-0363 application/pdf Nanyang Technological University
institution	Nanyang Technological University
building	NTU Library
continent	Asia
country	Singapore Singapore
content_provider	NTU Library
collection	DR-NTU
language	English
topic	Engineering::Computer science and engineering
spellingShingle	Engineering::Computer science and engineering Mok, Xin Mun Formal verification of security protocols
description	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.
author2	Zhang Tianwei
author_facet	Zhang Tianwei Mok, Xin Mun
format	Final Year Project
author	Mok, Xin Mun
author_sort	Mok, Xin Mun
title	Formal verification of security protocols
title_short	Formal verification of security protocols
title_full	Formal verification of security protocols
title_fullStr	Formal verification of security protocols
title_full_unstemmed	Formal verification of security protocols
title_sort	formal verification of security protocols
publisher	Nanyang Technological University
publishDate	2022
url	https://hdl.handle.net/10356/156650
_version_	1731235751489699840

Formal verification of security protocols

Similar Items