基于Petri网的量子通信协议建模

2020-02-01张盛马咏辉

电子技术与软件工程 2020年9期

张盛马咏辉

（武警海警学院浙江省宁波市 315801）

1 引言

作为未来最有前景的技术之一，量子通信为许多传统方法无法完成的任务提供了解决方案，例如量子稠密编码[1,2]和量子隐形态传送[3,4]，并因此广为人知。当前，在众多量子通信协议中，量子秘钥分配成为全世界的研究重点，同时也取得了巨大的成功。但是，这类协议的安全性证明[6,7]是一个重大的问题，这就妨碍了它以一种合理的费用来为日新月异的信息系统服务。因此，正如形式化理论应用在经典秘钥协议[8,9,10,11,12,13,14,15]上一样，它们也被引入到量子协议的模拟、分析和证明中去。

尽管量子密钥分配协议的形式化证明引起广泛关注，但是其他量子通信协议依然有待于用形式化分析的方法进行研究。例如，Feng 等人用qCCS[11]形式化分析了量子隐形态传送和量子超稠密编码协议。本文计划引入一个新的形式化理论Petri 网[16]去继续这项工作，即基于Petri网的量子反直观通信协议分析。

量子反直观通信的概念起源于无相互作用测量[17,18,19]，这是一种不需要直接测量物体的现象。这一概念最早由Noh 在一篇QKD的协议中实现[20]。之后，这一理论被进一步优化，应用到确定性秘钥分配的协议[21]中。与传统的QKD 协议完全不同的是，上述这类协议是违反直觉的——其中承载信息的量子态从来不通过信道。这样，量子反直观通信基于变相的不可克隆原理阻止了窃听者获取任何私人秘钥的信息。更加有趣的是，Salih 等人进一步丰富了量子反直观通信领域。他们通过运用量子芝诺效应[22]，提出了一个具有更高效率的协议。

本文针对几种量子通信协议中涉及的概念和结构，设计了相应的Petri 网模型，解决了量子通信协议Petri 网建模相关基础理论问题。

2 基于Petri网的量子通信形式化基础

2.1 量子态的Petri网描述

量子态作为分析量子通信的基本单位，有着极其重要的研究价值。量子态指的是电子做稳恒的运动，具有完全确定的能量的稳恒的运动状态。它是由一组量子本征态组成，这组量子本征态的向量和即为该量子态。这里，符号表示为：

图1：加法运算(a)

图2：加法运算(b)

图3：乘法运算(a)

图4：乘法运算(b)

这里，需要指出k 值的精确度很大程度上取决于计算复杂度。比如，如果Ci是一个实数，k=1，那么本征态的概率幅就等于库所pi中的令牌数目。这样，就建立了量子系统与Petri 网之间的联系。下面以此为基础建立Petri 网运算模型。

2.2 概率幅的四则运算模型

Petri 网作为一种状态机，可以在实数域内表示数据的状态变化。在建立量子反直观通信协议的Petri 网模型前，先对协议中应用到的运算规则进行建模。

2.2.1 加法运算

该运算法则可以通过一个有名的例子来描述：1+1=2，如图1和图2所示，在三个相对独立的places 中各装入1 个token，其中P1作为开始端，经过transition t，token 值与arcs 相乘，结果装入place P4，此后，transition t 不会被触发。

规则说明：图1 是指transition t 触发前的标记；图2 是指transition t 触发后的标记，这里t 不会被触发。

2.2.2 乘法运算

该运算法则可以通过一个典型的例子来描述：2×3=6，如图3和图4所示，在place P2中装入2 个token，place P3中装入3 个token，P1作为开始端，经过transition t，token 值与arcs 相乘，结果装入place P4，此后，transition t 不会被触发。

规则说明：图3 是指transition t 触发前的标记；图4 是指transition t 触发后的标记，这里t 不会被触发。