COMING SOON! PQDT Open is getting a new home!

ProQuest Open Access Dissertations & Theses will remain freely available as part of a new and enhanced search experience at

Questions? Please refer to this FAQ.

Dissertation/Thesis Abstract

Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D., National University of Singapore (Singapore), 2015, 152; 10006040
Abstract (Summary)

In cyber security systems, various security protocols have been developed to provide trustworthy communications. However, designing security protocol is challenging and errorprone, which is well illustrated by many security protocols attacks. Hence, it is necessary to provide a verification framework where the security protocols can be formally checked. In this thesis, we first analyze a vehicle charging protocol to show the strengths and weaknesses of existing methods. Then, we propose a verification framework, where the security protocols can be intuitively specified and efficiently verified. Comparing with the existing methods, our verification method requires no abstraction during the verification and works for an unbounded number of protocol sessions. Security protocols in real-world use not only cryptography but also physical properties. Hence, we develop a generic analysis method to the protocols that consider physical properties. We analyze a family of softwarebased attestation protocols using this method and find several security weaknesses.

Indexing (document details)
School: National University of Singapore (Singapore)
Department: Computer Science
School Location: Republic of Singapore
Source: DAI-A 77/06(E), Dissertation Abstracts International
Subjects: Computer science
Publication Number: 10006040
ISBN: 978-1-339-43904-4
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy