分析了复杂电磁环境的主要因素, 阐述了网电攻击造成的复杂电磁环境, 深入分析了这种欺骗式复杂电磁环境可能对预警雷达造成的危害, 并探讨了加强雷达预警系统网电安全的防护措施, 提出了关于网电对抗下复杂电磁环境的三点思考。
复杂电磁环境 雷达预警系统 网电对抗 网电防护 complex electromagnetic environment radar early warning system network electric countermeasure net electric protection 强激光与粒子束
2019, 31(10): 103201
国防科学技术大学电子科学与工程学院， 湖南长沙410073
量子密钥分配协议已经被证明具有无条件安全特性，但是证明过程比较复杂，不利于推广到其他量子密码协议的安全性分析和证明中。为了简化量子密码协议的安全性证明以及建立一种通用的证明方法，基于Petri 网提出一种量子密钥分配协议的形式化分析方法，根据Biham 的等效对称化攻击模型，将协议分为主体模型和攻击模型两部分，建立了BB84 协议的Petri 网模型，然后对模型进行安全性分析，分析结果表明， BB84协议是无条件安全的。该方法提高了安全性分析效率，形式上简洁统一，容易推广到其他量子密码协议的安全性分析中。
量子信息 形式化分析Petri 网建模 无条件安全 quantum information formal analysis Petri-net modeling unconditional security
国防科学技术大学电子科学与工程学院，湖南 长沙 410073
量子数字签名是量子理论与经典数字签名的结合，其目的是利用量子效应达到无条件安全的信息交互。介绍了目前提出的几种量子数字签名协议，详细分析了这几种协议的优缺点和效率，提出了量子数字签名协议设计的具体要求，并展望了此领域今后的发展方向。
量子单向函数 量子一次一密 量子数字签名 quantum one-way function quantum one-time pad quantum digital signature
