A Logical Analysis of Quantum Voting Protocols
| Authors | |
|---|---|
| Publication date | 12-2017 |
| Journal | International Journal of Theoretical Physics |
| Volume | Issue number | 56 | 12 |
| Pages (from-to) | 3991-4003 |
| Number of pages | 13 |
| Organisations |
|
| Abstract |
In this paper we provide a logical analysis of the Quantum Voting Protocol for Anonymous Surveying as developed by Horoshko and Kilin in (Phys. Lett. A 375, 1172–1175 2011). In particular we make use of the probabilistic logic of quantum programs as developed in (Int. J. Theor. Phys. 53, 3628–3647 2014) to provide a formal specification of the protocol and to derive its correctness. Our analysis is part of a wider program on the application of quantum logics to the formal verification of protocols in quantum communication and quantum computation. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s10773-017-3409-4 |
| Other links | https://www.scopus.com/pages/publications/85021976288 |
| Permalink to this page | |
