Keywords autoepistemic logic;logic program;nonmonotonic reasoning;security protocols;protocols verification;

• 自认知逻辑;逻辑程序;非单调推理;安全协议;协议验证;