Gay, Simon J., Nagarajan, Rajagopal and Papanikolaou, N. K. (2010) Specification and verification of quantum protocols. In: Semantic techniques in quantum computation. Cambridge University Press, USA, pp. 414-472. ISBN 9780521513746

Full text not available from this repository.

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 > 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.
Date:	February 2010
Number of Pages:	492
Page Range:	pp. 414-472
Status:	Not Peer Reviewed
Publication Status:	Published
Related URLs:	Other Repository
URI:	http://wrap.warwick.ac.uk/id/eprint/47429

Request changes to a record

Actions (login required)

View Item