Classical Knowledge for Quantum Security

Authors:
Ellie D'Hondt;Mehrnoosh Sadrzadeh
Affiliations:
Vrije Universiteit Brussel & FWO, Belgium;Laboratoire Preuves Programmes et Systèmes, Université Paris 7, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 5
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Quantum computation and quantum information

Quantum computation and quantum information
Concurrent common knowledge: defining agreement for asynchronous systems

Distributed Computing
The measurement calculus

Journal of the ACM (JACM)
Actions and resources in epistemic logic

Actions and resources in epistemic logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a decision procedure for analysing security of quantum cryptographic protocols, combining an algebraic logic rewrite system with an operational semantics for quantum distributed computations. We apply our approach to reasoning about security properties of a recently developed quantum secret sharing protocol.