TY  - RPRT
TI  - Modelling and Analysis of Quantum Key Distribution Protocols, BB84 and B92, in Communicating Quantum Processes(CQP) language and Analysing in PRISM
AU  - Satya Kuppam
PY  - 2018
DO  - 10.5220/0006834500750082
UR  - https://arxiv.org/abs/1612.03706
ID  - 1612.03706
ER  -