Verifying Security Protocols Based on Logic Program

• 基于逻辑程序的安全协议验证