loading
Documents

Research.Publish.Connect.

Paper

Author: Satya Kuppam

Affiliation: University of Massachusetts, Amherst and U.S.A.

ISBN: 978-989-758-323-0

Keyword(s): PRISM, Modelling, Analysis, Verification, Quantum Cryptography, Communicating Quantum Processes, π-calculus.

Abstract: Proof of security of cryptography protocols theoretically establishes the strength of a protocol and the constraints under which it can perform, it does not take into account the overall design of the protocol. In the past model checking has been successfully applied to classical cryptography protocols to weed out design flaws which would have otherwise gone unnoticed. Quantum key distribution protocols differ from their classical counterparts, in their ability to detect the presence of an eavesdropper while exchanging the key. Although unconditional security has been proven for both BB84(Mayers, 2002) and B92(Quan and Chaojing, 2002) key distribution protocols, in this paper we show that identifying an eavesdropper’s presence is constrained on the number of qubits exchanged. We first model the protocols in Communicating Quantum Processes (CQP)(Gay and Nagarajan, 2005)(Davidson, 2012) and then explain the mechanism by which we have translated this into a PRISM model and how we analyse d the protocols’ capabilities. We mainly focus on the protocols’ ability to detect an active eavesdropper and the extent to which an eavesdropper can retrieve the shared key without being detected by either party. We then conclude by comparing the performance of the protocols. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.198.142.121

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Kuppam S. (2018). Modelling of Quantum Key Distribution Protocols in Communicating Quantum Processes Language with Verification and Analysis in PRISM.In Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-323-0, pages 75-82. DOI: 10.5220/0006834500750082

@conference{simultech18,
author={Satya Kuppam},
title={Modelling of Quantum Key Distribution Protocols in Communicating Quantum Processes Language with Verification and Analysis in PRISM},
booktitle={Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2018},
pages={75-82},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006834500750082},
isbn={978-989-758-323-0},
}

TY - CONF

JO - Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Modelling of Quantum Key Distribution Protocols in Communicating Quantum Processes Language with Verification and Analysis in PRISM
SN - 978-989-758-323-0
AU - Kuppam S.
PY - 2018
SP - 75
EP - 82
DO - 10.5220/0006834500750082

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.