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

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