量子保密通信是基于香农信息论和量子物理学而发展起来的新型通信技术。量子保密通信与经典通信不同,主要是利用微观粒子的量子特性实现对信息的保护。量子保密通信的安全性由海森堡不确定性原理以及量子不可克隆原理保证,因此在理论上可以实现无条件安全通信。随着技术的发展,量子保密通信的应用领域也得到进一步扩展,与应用相关的安全需求也越来越复杂。量子保密通信协议能够与其它协议组合成复杂的协议体系,其安全性一直以来都是协议分析的难点。本文从复合角度出发,研究了量子保密通信协议的通用可组合安全性,主要包括了以下三个方面：1、分析了Unruh等人的QUC模型,针对Unruh的QUC模型存在的不足进行了改进,提出了QJUC协议模型和QJUC组合推论,并对QJUC组合推论进行了证明。对QUC模型和QJUC模型的性能进行了对比分析,分析结果表明QJUC模型相比于QUC模型减少了建立协议分析模型所需的资源,优化了模型结构且具有更强的建模能力。2、基于QJUC模型对QKD系统进行了建模,并分析了QKD系统的QJUC安全性。利用QJUC模型模块化的思想,将QKD系统拆分成了四个模块,分别是：QKD协议、秘密放大、认证以及纠错。分别对这四个模块的QJUC安全性进行了分析。分析表明这四个模块均满足QJUC安全性,因此由这些模块构成的QKD系统也是QJUC安全的。3、研究了量子通信网络的体系结构,利用QJUC模型对可信中继QKD网络的密钥提取层进行了建模分析。构建了能够QJUC安全实现F_enldecrypt、F_KD/F_EC/ F_PA和F^_Ath的实际协议多会话扩展并分别对各个模块进行安全性分析,分析表明这些模块均满足QJUC安全性,因此由这些模块构成的可信中继QKD网络也是QJUC安全的。