摘要： 密码协议的秘密性验证是网络安全领域的一个难题，本文在提出协议行为结构的基础上，通过对协议行为及其结构的分析，提出了一种新的密码协议的秘密性验证算法，该算法的时间复杂度是多项式时间的，从而简化了秘密性验证过程，文中最后，作为实例，给出了TMN密码协议的秘密性验证。

关键词: 时间复杂度 密码协议 秘密性 验证方法 多项式时间 网络安全 行为结构 验证算法 验证过程 TMN