Classical Security Protocols for QKD Systems

by Nikolaos Papanikolaou, Rajagopal Nagarajan
Abstract:
The purpose of this report is to document the three principal classes of classic cryptographic protocols which are needed in systems for quantum key distribution. We will detail the protocols used for secret-key reconciliation by public discussion, privacy amplification by public discussion, and unconditionally secure authentication. We suggest the use of the model checking method for the analysis of these protocols and the verification of relevant security requirements; the model checking technique is described, and the PRISM model checker is presented.
Reference:
Classical Security Protocols for QKD Systems (Nikolaos Papanikolaou, Rajagopal Nagarajan), Technical report, EU FP6 SECOQC Project, 2006.
Bibtex Entry:
@TECHREPORT{Papanikolaou2006,
  author = {Nikolaos Papanikolaou and Rajagopal Nagarajan},
  title = {Classical Security Protocols for {QKD} Systems},
  institution = {{EU FP6 SECOQC} Project},
  year = {2006},
  abstract = {The purpose of this report is to document the three principal classes
	of classic cryptographic protocols which are needed in systems for
	quantum key distribution. We will detail the protocols used for secret-key
	reconciliation by public discussion, privacy amplification by public
	discussion, and unconditionally secure authentication. We suggest
	the use of the model checking method for the analysis of these protocols
	and the verification of relevant security requirements; the model
	checking technique is described, and the PRISM model checker is presented.},
  owner = {Nick},
  timestamp = {2010.06.20},
  url = {../files/protocols.pdf}
}