@misc{indiciae4986ee8eb972,
  title = {Modelling and Analysis of Quantum Key Distribution Protocols, BB84 and B92, in Communicating Quantum Processes(CQP) language and Analysing in PRISM},
  author = {Satya Kuppam},
  year = {2018},
  doi = {10.5220/0006834500750082},
  url = {https://arxiv.org/abs/1612.03706},
  note = {Source identifier: 1612.03706}
}