Specification and verification of quantum protocols
Gay, Simon J., Nagarajan, Rajagopal and Papanikolaou, N. K. (2010) Specification and verification of quantum protocols. In: Gay, Simon J. and Mackie, I., (eds.) Semantic techniques in quantum computation. USA: Cambridge University Press, pp. 414-472. ISBN 9780521513746Full text not available from this repository.
Official URL: http://www.cambridge.org/gb/knowledge/isbn/item270...
We describe model-checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of practical model checker, QMC, for quantum protocols. In our framework, we assume that the quantum operations performed in a protocol are restricted to those within stabilizer formalism; while this particular set of operations is not universal for quantum computation, it allows us to develop models of several useful protocols as well as of systems involving both classical and quantum information processing. We discuss the modeling language of QMC, the logic used for verification, the verification algorithms that have been implemented in the tool. We demonstrate our techniques with applications to number of case studies, including quantum teleportation and BB84 quantum coin-flipping protocol
|Item Type:||Book Item|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Divisions:||Faculty of Science > Computer Science|
|Publisher:||Cambridge University Press|
|Place of Publication:||USA|
|Book Title:||Semantic techniques in quantum computation|
|Editor:||Gay, Simon J. and Mackie, I.|
|Official Date:||February 2010|
|Number of Pages:||492|
|Page Range:||pp. 414-472|
|Status:||Not Peer Reviewed|
Actions (login required)