Security verification of BB84 protocolusing PRISM model-checker

Security verification of BB84 protocolusing PRISM model-checker
-
-
International Iran Conference op Quantum Information

doi
Article type
Conference
https://people.iut.ac.ir/en/babaeibrojeny/content/1662337