一种量子密钥分发协议窃听攻击的高效模型检测方法

本发明提供一种量子密钥分发协议窃听攻击的高效模型检测方法，包括：步骤10，基于超算子值马尔可夫链对量子密钥分发协议的交互过程进行建模，得到量子密钥分发协议模型；步骤20，在量子密钥分发协议模型中集成窃听者的攻击行为，得到量子密钥分发协议窃听攻击模型；步骤30，对量子密钥分发协议窃听攻击模型实施互模拟等价约简，得到互模拟商模型；步骤40，基于互模拟商模型，采用量子计算树逻辑形式化定义量子密钥分发协议窃听攻击的正确性属性；步骤50，验证互模拟商模型是否满足正确性属性。本发明提供的一种量子密钥分发协议窃听攻击的高效模型检测方法，在协议建模过程中考虑窃听攻击，同时精简状态空间，提高模型检测的效率。