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