论文部分内容阅读
为了保障开源的网络通讯产品如实时消息系统、网络电话等能够在高安全领域得以应用，本文对著名的Needham-Schroeder（NS）认证协议进行改进和优化，优化后的协议通过采用使接收方与密钥分发中心通信、在密钥分发中心返回的消息中添加发送方身份和各方发送的临时值的方式，达到了确保消息新鲜性、通信双方身份及会话中共享密钥可靠性的目的，同时避免了原生NS协议存在的旧消息重传攻击和身份冒充缺陷．利用模态逻辑BAN逻辑，对改进版的协议进行理想化建模、定义初始假设集合及安全目标集合，并在此基础上使用推理规则，证明了