安全协议的进程代数规约到逻辑程序的自动转换

• Auto-Transformation of the Process Algebra Specification of Security Protocols into Logic Programs