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

• Research to Formal Analysis Methods for Public-Key Authentication Protocols