机构名称：
¥ 1.0
功能导致安全性提高，示例是无与伦比的客户服务器通信，盲云计算和安全的多方计算[11，23，33]。分布对于扩展量子计算的扩展也至关重要，超出了允许单个量子的计算机到量子簇的能力[17]。Quantun网络中两个节点之间的通信基本单位是分布式的钟形对或EPR对1 - 一对Quantum位（Qubit s）（Qubit s），一个在每个节点上，它们都是纠缠的。纠缠量子的相关性与经典信息所能实现的更强相关性。作为纠缠是从根本上量子属性的，量子网络必须在量子硬件的范围内运行，其中之一是腐蚀性 - 随着时间的推移，量子状态质量的快速降解。的变形和引入噪声和损失的其他因素代表着像古典网络一样，以存储和前向的精神实现长途量子通信的主要障碍。所有这些因素都将Bell对的端到端分布（是核心量子网络服务）变成了一个需要大量运行时协调的状态和分布式任务。此外，它包括具有本质上很高失败概率的步骤（例如，分离或初始纠缠产生）。对分布式协调，状态性和易于原始操作的需求都有助于量子网络协议的复杂行为 - 远程节点中贝尔对的端到端分布的分布式程序[12，18]。量子网络中资源的稀缺性（例如，内存和通信量子s）提示了在并行执行的量子网络协议之间进行密集的资源共享，更加加剧了复杂性。相同的资源稀缺性和并行操作要求对网络的行为进行正式推理，启用协议优化，有效地汇编对硬件，以及多个协议的安全共存，除了验证单个协议的正确性（例如，铃基对在右NODES中确实正在生成）。量子网络已经需要紧密的协调，因此自然地适合于逻辑集中的体系结构，类似于软件定义的网络（SDN），从而允许对全局协议行为进行推理。我们的目标是开发迎合全球行为分析所需的形式主义。为此，我们从Netkat [1]中汲取灵感，概述了我们对可以使用的语言和逻辑的愿景，
朝量子网络的代数规范
主要关键词
相关文件推荐
