Classical Knowledge for Quantum Security

Details Classical Knowledge for Quantum Security Classical Knowledge for Quantum Security

2008-08-26

arxiv.org/abs/0808.3574v1

Computer Science

Cryptography and Security

extended abstract, 13 pages

Scientific paper

We propose a decision procedure for analysing security of quantum cryptographic protocols, combining a classical algebraic rewrite system for knowledge with an operational semantics for quantum distributed computing. As a test case, we use our procedure to reason about security properties of a recently developed quantum secret sharing protocol that uses graph states. We analyze three different scenarios based on the safety assumptions of the classical and quantum channels and discover the path of an attack in the presence of an adversary. The epistemic analysis that leads to this and similar types of attacks is purely based on our classical notion of knowledge.

Affiliated with

Also associated with

No associations

Rating

Classical Knowledge for Quantum Security does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Classical Knowledge for Quantum Security, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Classical Knowledge for Quantum Security will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-282131