Modeling and analysis of quantum cryptographic protocols

Simple item page
dc.contributor.authorWare, Christopher J
dc.contributor.supervisorKapron, Bruce
dc.date.accessioned2008-08-29T21:13:22Z
dc.date.available2008-08-29T21:13:22Z
dc.date.copyright2008en_US
dc.date.issued2008-08-29T21:13:22Z
dc.degree.departmentDepartment of Computer Science
dc.degree.levelMaster of Science M.Sc.en_US
dc.description.abstractIn this thesis we develop a methodology for the modeling and analysis of quantum security protocols, and apply it to a cheat sensitive quantum bit commitment protocol. Our method consists of a formalization of the protocol in the process algebra CQP, a conversion to the PRISM modeling language, verification of security properties, and the quantitative analysis of optimal cheat strategies for a dishonest party. We also define additional syntax and operational semantics for CQP to add decision making capability. For a two party protocol involving Alice committing a bit to Bob, we show that the protocol favors a dishonest Alice over a dishonest Bob. When only one party is dishonest, and uses an optimal cheat strategy, we also show that the probability of cheat detection is bounded at 0.037 for Bob and 0.076 for Alice. In addition, a dishonest Alice is able to reveal an arbitrary commit bit with probability 1 while a dishonest Bob is only able to extract the correct bit before it is revealed with probability 0.854. This bias is interesting as it gives us insight into how the overall protocol functions and where its weaknesses are. By identifying these weaknesses we provide a foundation for future improvements to the protocol to reduce cheating bias or increase cheat detection. Finally, our methodology reveals the weakness of PRISM in modeling quantum variables to their full power and as a result we propose the development of a new modeling tool for quantum protocols.en_US
dc.identifier.urihttp://hdl.handle.net/1828/1103
dc.languageEnglisheng
dc.language.isoenen_US
dc.rightsAvailable to the World Wide Weben_US
dc.subjectQuantum Computingen_US
dc.subjectBit Commitmenten_US
dc.subjectCryptographyen_US
dc.subjectProtocolsen_US
dc.subjectVerificationen_US
dc.subjectCheat Sensitiveen_US
dc.subjectPRISMen_US
dc.subjectCQPen_US
dc.subject.lcshUVic Subject Index::Sciences and Engineering::Applied Sciences::Computer scienceen_US
dc.titleModeling and analysis of quantum cryptographic protocolsen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Modeling and Analysis of Quantum Cryptographic Protocols.pdf
Size:
528.46 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.94 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Electronic Theses and Dissertations (ETD)
 
University of Victoria Libraries

We acknowledge and respect the Lək̓ʷəŋən (Songhees and Esquimalt) Peoples on whose territory the university stands, and the Lək̓ʷəŋən and W̱SÁNEĆ Peoples whose historical relationships with the land continue to this day.