定理证明分析

（理学 | 计算机科学技术）

定理证明分析（theorem proving analysis），理学-计算机科学技术-信息安全-密码学-密码协议-密码协议分析，利用定理证明技术分析密码协议安全性的方法（即利用数学方法证明协议安全性）。这一方法考虑协议的所有行为，验证这些行为满足正确条件集合。