bei Google ScholarTitelangaben
Rafiee Rad, Soroush ; Shirinkalam, Elahe ; Smets, Sonja:
A Logical Analysis of Quantum Voting Protocols.
In: International Journal of Theoretical Physics.
Bd. 56
(2017)
Heft 12
.
- S. 3991-4003.
ISSN 1572-9575
DOI: https://doi.org/10.1007/s10773-017-3409-4
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.
Weitere Angaben
| Publikationsform: | Artikel in einer Zeitschrift |
|---|---|
| Begutachteter Beitrag: | Ja |
| Institutionen der Universität: | Fakultäten > Kulturwissenschaftliche Fakultät Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I > Lehrstuhl Philosophie I - Univ.-Prof. Dr. Olivier Roy Fakultäten |
| Titel an der UBT entstanden: | Nein |
| Themengebiete aus DDC: | 100 Philosophie und Psychologie 100 Philosophie und Psychologie > 100 Philosophie 100 Philosophie und Psychologie > 160 Logik |
| Eingestellt am: | 05 Apr 2018 08:47 |
| Letzte Änderung: | 05 Apr 2018 08:47 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/42163 |