Security verification of BB84 protocolusing PRISM model-checker
-
-
International Iran Conference op Quantum Information
doi
Date : 1386-06
Article type
Conference
Security verification of BB84 protocolusing PRISM model-checker
×
https://people.iut.ac.ir/en/babaeibrojeny/content/1662337?view=qrcode