Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

A Logical Analysis of Quantum Voting Protocols

Title 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 > Lehrstuhl Philosophie I
Faculties > Faculty of Cultural Studies > Department of Philosophy > Lehrstuhl Philosophie 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