Modelling of Quantum Key Distribution Protocols in Communicating Quantum Processes Language with Verification and Analysis in PRISM.

Satya Kuppam

Browse the full SIMULTECH paper archive.