基于量子密钥分配的跨域认证与密钥协商协议

认证与密钥协商类协议在实际应用中面临一些安全威胁,而基于量子密钥分配的通信网络具备实现完美保密性的能力,因此可结合经典密码技术实现对认证与密钥协商类协议的安全增强。提出了基于量子密钥分配的跨域认证与密钥协商协议,通过具备无条件物理安全特性的量子密钥分配信道进行不同通信域之间的会话密钥的传输。使用SVO逻辑模型进行形式化分析,证明了该协议具备信息传输机密性、完整性和前向/后向保密等安全属性。