Verification of Quantum Cryptography Protocols by Model Checking
FREE-DOWNLOADM Elboukhari, M Azizi… – … Journal of Network Security & Its …, 2010
VERIFICATION OF QUANTUM CRYPTOGRAPHY . Unlike classical cryptography which is based
on mathematical functions, Quantum Cryptography or Quantum Key Distribution (QKD) exploits
the laws of quantum physics to offer unconditionally secure communication.