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.






IEEE PAPER UNITED STATES