密码认证协议（PAP）是一种使用密码的认证协议。
探讨了形式化分析在设计密码认证协议中的作用；
The function of formal analysis in the design of the authentication protocols is discussed;
在MSR框架结构下定义了密码协议的秘密性和认证性。3改进了协议模型和攻击者模型，主要解决了攻击者模型中出现的无限循环状态。
Under the MSR framework, the definitions about secrecy and authentication are proposed3 Protocol model and intruder model is improved to solve the infinite state of intruder model.
是一种基于密码的强认证协议。
Secure Remote Password (SRP) protocol is a strong network authentication mechanism.
应用推荐