by Nikolaos Papanikolaou and 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 and 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} }