The Application of Instantiation Space Logic in Formal Analysis of Public Key Authentication Protocols

• Instantiation Space逻辑在公钥认证协议形式化分析中的应用