Model Checking Quantum Markov Chains

Academic Press Inc Elsevier Science
Publication Type:
Journal Article
Journal of Computer and System Sciences, 2013, 79 (7), pp. 1181 - 1198
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2012005090OK.pdf357.34 kB
Adobe PDF
Although security of quantum cryptography is provable based on principles of quantum mechanics, it can be compromised by flaws in the design of quantum protocols. So, it is indispensable to develop techniques for verifying and debugging quantum cryptogra
Please use this identifier to cite or link to this item: