Date of Award
Thesis open access
This work serves to explore the use of protocol verification tools, in this case AVISPA and SPAN, to verify a protocol used to establish blockchain identities as well as a protocol used for electronic voting that runs on top of a blockchain, leveraging blockchain as a platform. We explore the protocol verification tools themselves, as well as the modeling languages, CAS+ and HLPSL, used to write protocol specifications for verification by these tools. We determine that it is possible to verify a protocol regarding establishment of blockchain identities as well as that it is not possible to verify protocols which leverage blockchain as a platform, at least with the toolchain used and the CAS+ encoding of the protocol.
Temple, Benjamin T., "Security Protocol Analysis and Blockchains" (2019). Computer Science Honors Theses. 52.