一阶逻辑模型相关论文
由于Blanchet安全协议一阶逻辑模型不能够给出易于理解的攻击序列,基于该安全协议一阶逻辑模型,对逻辑推理中的规则及合一化操作进......
针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题，对安全协议一阶逻辑模型进行扩展，对逻辑推理中的规则及合一化操作进......
