一种网络协议组合形式化验证方法

本发明提出一种网络协议组合形式化验证方法，属于形式化验证技术领域。所述方法在网络协议设计阶段，针对网络协议所需要的信息安全性、功能安全性和密码学可靠性进行有效形式化验证，使得网络协议代码在实现前即被检测出潜在安全缺陷，且所述潜在安全缺陷中不存在虚假反例。