QMC: A Model Checker for Quantum Systems

Gay, S. , Nagarajan, R. and Papanikolaou, N. (2008) QMC: A Model Checker for Quantum Systems. Lecture Notes in Computer Science, 5123, pp. 543-547. (doi: 10.1007/978-3-540-70545-1_51)

Full text not currently available from Enlighten.

Publisher's URL: http://dx.doi.org/10.1007/978-3-540-70545-1_51

Abstract

The novel field of quantum computation and quantum information has been growing at a rapid rate; the study of quantum information in particular has led to the emergence of communication and cryptographic protocols with no classical analogues. Quantum information protocols have interesting properties which are not exhibited by their classical counterparts, but they are most distinguished for their applications in cryptography. Notable results include the unconditional security proof [1] of quantum key distribution. This result, in particular, is one of the reasons for the widespread interest in this field. Furthermore, the implementation of quantum cryptography has been demonstrated in non-laboratory settings and is already an important practical technology. Implementations of quantum cryptography have already been commercially launched and tested by a number of companies including MagiQ, Id Quantique, Toshiba, and NEC. The unconditional security of quantum key distribution protocols does not automatically imply the same degree of security for actual systems, of course; this justifies the need for systems modelling and verification in this setting.

Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Gay, Professor Simon
Authors: Gay, S., Nagarajan, R., and Papanikolaou, N.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Lecture Notes in Computer Science
Publisher:Springer
ISSN:0302-9743
ISSN (Online):1611-3349

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
431941Semantics of quantum computationSimon GayEngineering & Physical Sciences Research Council (EPSRC)EP/E00623X/1Computing Science