at Google ScholarTitle data
Rafiee Rad, Soroush ; Shirinkalam, Elahe ; Smets, Sonja:
A Logical Analysis of Quantum Voting Protocols.
In: International Journal of Theoretical Physics.
Vol. 56
(2017)
Issue 12
.
- pp. 3991-4003.
ISSN 1572-9575
DOI: https://doi.org/10.1007/s10773-017-3409-4
Abstract in another language
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.
Further data
| Item Type: | Article in a journal |
|---|---|
| Refereed: | Yes |
| Institutions of the University: | Faculties > Faculty of Cultural Studies Faculties > Faculty of Cultural Studies > Department of Philosophy Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I > Chair Philosophy I - Univ.-Prof. Dr. Olivier Roy Faculties |
| Result of work at the UBT: | No |
| DDC Subjects: | 100 Philosophy and psychology 100 Philosophy and psychology > 100 Philosophy 100 Philosophy and psychology > 160 Logic |
| Date Deposited: | 05 Apr 2018 08:47 |
| Last Modified: | 05 Apr 2018 08:47 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/42163 |