Gay, Simon J., Nagarajan, Rajagopal and Papanikolaou, Nikolaos K. (2008) QMC : a model checker for quantum systems. In: 20th International Conference on Computer Aided Verification, Princeton, USA, 7-14 Jul 2008. Published in: CAV '08 Proceedings of the 20th international conference on Computer Aided Verification, Vol.5123 pp. 543-547. doi:10.1007/978-3-540-70545-1_51 ISSN 9783540705437 .

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

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:	Conference Item (Paper)
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Journal or Publication Title:	CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Publisher:	Springer-Verlag
ISSN:	9783540705437
Book Title:	Computer Aided Verification
Official Date:	2008
Dates:	Date Event 2008 Published
Volume:	Vol.5123
Page Range:	pp. 543-547
DOI:	10.1007/978-3-540-70545-1_51
Status:	Peer Reviewed
Publication Status:	Published
Access rights to Published version:	Restricted or Subscription Access
Conference Paper Type:	Paper
Title of Event:	20th International Conference on Computer Aided Verification
Type of Event:	Conference
Location of Event:	Princeton, USA
Date(s) of Event:	7-14 Jul 2008

Request changes or add full text files to a record

Repository staff actions (login required)

View Item