Titlebar

Bibliografische Daten exportieren
Literatur vom gleichen Autor
plus auf ERef Bayreuth
plus bei Google Scholar

 

A Logical Analysis of Quantum Voting Protocols

Titelangaben

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: 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