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

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