安全协议验证相关论文
本文为多智能体系统定义了一个称之为知识结构的逻辑框架，来进行智能体的知识推理.在知识推理过程中，使用”变量忘记”(VariableForg......
安全协议是保证网络安全的重要技术之一，但安全协议自身的缺陷，往往会导致很严重的安全问题。如何验证安全协议能否实现其安全目标，成......
