针对重装空投任务复杂、风险性大、不确定性强等问题, 将重装空投任务中的安全问题视为控制问题, 并首次将STPA方法应用于重装空投任务的安全性分析。通过系统分析识别重装空投任务中的不安全控制行为, 建立重装空投任务的控制反馈结构, 对不安全控制行为(UCA)进行致因分析; 构建重装空投任务安全性计算框架, 并选取典型不安全控制行为作为计算分析对象, 开展重装空投的定量安全性分析。结果表明, STPA方法能够有效开展重装空投的安全性分析, 定量计算结果能为机组人员科学决策提供一定的指导帮助。

增强飞行视景系统(EFVS)作为机载复杂电子系统，其常规失效分析复杂易出错。基于此，引入形式化建模概念，提出了一种基于故障耦合模型的EFVS形式化建模方法。通过EFVS功能交互模型，明确系统失效传播模式; 对该系统的架构和数据流进行抽象，分层建立该系统的故障耦合形式化模型; 引入模型检验工具对系统模型进行验证，并结合典型的系统失效状态进行自动化运算，获取该失效状态的故障树最小割集。结果表明，所提方法自动化程度高，有助于提高EFVS失效分析过程的效率。

量子盲签名作为量子密码学的重要组成部分，近年来受到了越来越多的关注。提出了一个基于两粒子和三粒子最大纠缠态的量子盲签名方案，利用量子纠缠特性实现了消息盲化，并借助量子相干性原理进行了消息恢复。所提方案利用量子逻辑门对量子态进行操作，实现了两比特经典信息的量子态表示。最后证明了该方案满足不可否认性、不可伪造性和盲性。基于量子密钥分发和一次一密技术，所提方案的无条件安全性得到了保证，且与现有其他方案对比，该方案有较高的签名效率。

目前罗兰C台链中所有台站受到原子钟积累误差和无线电信号测量精度限制,并没有实现高精度时间同步。基于连续变量纠缠交换方式和位于主副台的延迟装置,可以高精度检测纠缠光场正交分量的相位差信息,从而得到主台和多个副台的同步时差信息。经过理论推导和仿真分析可知,利用所提方案能使多台站同步精度达到皮秒级别。通过分析台间同步量子信道的安全性可知,任何外界窃听行为都将导致主副台误码率提高。

研究了具有优秀安全性的PBC00协议。为了便于制备偏振态与实现协议, 将PBC00协议的偏振态改为|1〉、|0〉和|+〉。为了分析协议的安全性, 假设窃听者使用截获重发的方式对量子密钥分发(QKD)过程进行窃听, 分析了窃听者可能使用的测量基矢, 计算得出由窃听者引起的密钥错误率。介绍了以BKM07协议为基础的改动后的三量子态QKD方案, 分析了其安全性。研究结果表明, 改动后的PBC00协议具有更好的发现窃听者的能力, 且易于实现, 具有实际应用的潜力。

基于通信双方预先共享d维二粒子最大纠缠态非定域相关性，信息发送方Bob只需要向信息接收者Alice传送一个粒子，就可以传送logd22比特经典信息，为保护信息的安全，方案采用诱骗光子技术，安全性等价于改进后的原始量子密钥分配方案（Bennett-Brassard 1984 , BB84）.本文讨论了基于高维纯纠缠态超密编码方案.即通过引入一个附加量子比特，信息接收方对手中的纠缠粒子和附加粒子在执行相应的幺正演化，可以获取dαk2logd2+logd2（αk=minαj,j∈0,L,d－1）比特经典信息.通信双方采用诱骗光子技术确保量子信道的安全建立.与其他方案相比，该方案具有通信效率较高、实用性较强的优点.