Protocol Security Analysis for Discrete Modulated Continuous Variable Quantum Key Distribution

离散调制连续可变量子密钥分发的协议安全分析

• 批准号: 522308-2017
• 负责人: Lutkenhaus, Norbert
• 金额: $ 5.56万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=691992
• 关键词: Protocol; Security; Analysis; Discrete; Modulated

The emergence of quantum computers forces us to change the cryptographic infrastructure securing our data storage and communication structures. Quantum Key Distribution (QKD) will be part of this new infrastructure as it can provide implementation security independent of future technological and algorithmic advances. Much conceptional and practical effort has to be made to make QKD compatible with modern optical communication technology to allow adoption of this technology within the broader telecom service provider market. QKD could be used to secure the telecommunication infrastructure or also to provide key management service to end customers. The requirement for the successful adoption will be stable equipment that fits seamless to existing infrastructure and use essentially the same components as the modern classical communication equipment.Over the recent years, immense progress has been made in our ability to analyze the security and performance of quantum key distribution protocols and their optical implementation. Initially the focus was on QKD technology that requires technology able to detect single photons, the smallest amount of light detectable. More recently, QKD systems based on modern homodyne and heterodyne detection technology were developed which use standard optical detection schemes as they are used in modern optical communication. No single-photon detection is required for these protocols, opening potentially the path for cheaper and faster QKD schemes. However, while some idealized situations of these protocols can now be readily analyzed, some desirable protocols, so called discrete-modulated continuous variable protocols, have resisted yet a full security analysis due to missing security proof techniques. In this proposal we will be developing new tools and methods for security proofs that are applicable to these desirable protocols. Only with clear formulated security proofs will we be able to deploy the new schemes to secure our infrastructure.

量子计算机的出现迫使我们改变保护数据存储和通信结构的加密基础设施。量子密钥分发（QKD）将成为这一新基础设施的一部分，因为它可以提供独立于未来技术和算法进步的实施安全性。必须付出大量的概念和实践努力，使 QKD 与现代光通信技术兼容，以便在更广泛的电信服务提供商市场中采用该技术。 QKD 可用于保护电信基础设施的安全，也可用于向最终客户提供密钥管理服务。成功采用的要求是稳定的设备，能够无缝地适应现有的基础设施，并使用与现代经典通信设备基本相同的组件。近年来，我们分析量子安全和性能的能力取得了巨大进步。密钥分发协议及其光学实现。最初的重点是 QKD 技术，该技术需要能够检测单光子（可检测的最小光量）的技术。最近，开发了基于现代零差和外差检测技术的 QKD 系统，该系统使用现代光通信中使用的标准光学检测方案。这些协议不需要单光子检测，可能为更便宜、更快的 QKD 方案开辟道路。然而，虽然现在可以轻松分析这些协议的一些理想化情况，但一些理想的协议（所谓的离散调制连续变量协议）由于缺少安全证明技术而无法进行全面的安全分析。在本提案中，我们将开发适用于这些理想协议的新的安全证明工具和方法。只有通过明确制定的安全证明，我们才能够部署新方案来保护我们的基础设施。