Research to Formal Analysis Methods for Public-Key Authentication Protocols

• 公钥密码体制下认证协议的形式化分析方法研究