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 9780521513746

Research output not available from this repository.

Request-a-Copy directly from author or use local Library Get it For Me service.

Request Changes to record.

Abstract

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, Engineering and Medicine > Science > Computer Science
Publisher:	Cambridge University Press
Place of Publication:	USA
ISBN:	9780521513746
Book Title:	Semantic techniques in quantum computation
Editor:	Gay, Simon J. and Mackie, I.
Official Date:	February 2010
Dates:	Date Event February 2010 Published
Number of Pages:	492
Page Range:	pp. 414-472
Status:	Not Peer Reviewed
Publication Status:	Published

Request changes or add full text files to a record

Repository staff actions (login required)

View Item