可证安全的多方安全协议的分析与设计

安全协议的分析与设计异常复杂，具有很大的挑战性。本项目主要研究安全协议的形式化分析与设计理论及方法，重点讨论可证安全多方协议的分析与设计。基于可证安全方法，其中包括CK模型、BCP模型和可组合安全等方法，我们将研究具有可证安全特性的多方安全协议的理论与方法。研究的目的在于，简化安全协议的分析与设计过程，并且使设计的协议具有可证明的安全性；依据多用户网络拓扑模型，提出多方安全协议的设计理论和方法，建立可证安全的、可扩展的群组密钥管理模型，设计高效、安全的群组密钥管理协议，为网络密钥管理系统提供有效的设计理论和方法。通过研究，我们希望在多方安全协议的一般理论和方法上有一定的突破，为高效、可靠和可证安全的多方协议的设计与分析提供比较完整和系统的理论支持。