验证者

量子密码协议安全证明的半自动验证。本文提出了一个量子密码协议安全证明的半自动验证的形式化框架。我们简化了量子过程微积分qcc的语法和操作语义,使弱二相似性的验证变得更容易。此外,我们推广了量子控制来象征性地处理安全参数和量子态。然后,我们证明了拟议框架的合理性。实现了一个名为verifier的软件工具,并应用于BB84的Shor和Preskill的无条件安全证明的验证。结果,我们成功地验证了Shor和Preskill的BB84抗无限敌方攻击的无条件安全证明的主要部分,即除了给出用户定义的方程外,它是自动的。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换