Details

Autor(en) / Beteiligte

• Rad, Soroush Rafiee
• Shirinkalam, Elahe
• Smets, Sonja

Titel

A Logical Analysis of Quantum Voting Protocols

Ist Teil von

• International journal of theoretical physics, 2017-12, Vol.56 (12), p.3991-4003

Ort / Verlag

New York: Springer US

Erscheinungsjahr

2017

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• 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.