Abstract
Security is a major concern is today's online world. As online activities become increasingly sensitive, service providers rely on security protocols to ensure confidentiality, integrity and authentication of their users and data. Greater assurance is provided when these protocols are verified to be correct. Strand Spaces is a method to formally analyze security protocols. The arguments are based on the messages being transmitted and received while assuming that the underlying cryptographic primitives are secure. This thesis demonstrates that the protocols Luau, pwdArmor and Kiwi are secure using Strand Spaces methodology.
Degree
MS
College and Department
Physical and Mathematical Sciences; Computer Science
Rights
http://lib.byu.edu/about/copyright/
BYU ScholarsArchive Citation
Vankamamidi, Pavan Kumar, "Proofs of Correctness for Three Decentralized Authentication Protocols Using Strand Spaces" (2011). Theses and Dissertations. 3020.
https://scholarsarchive.byu.edu/etd/3020
Date Submitted
2011-05-27
Document Type
Thesis
Handle
http://hdl.lib.byu.edu/1877/etd4438
Keywords
Formal proofs, pwdArmor, Kiwi, Luau, Strand Spaces
Language
English