可观察理论相关论文
安全协议的验证是网络安全研究中的热点和难点，本文把局部可操作函数引入到实例空间协议分析方法中，简化了协议的描述和分析，增强了实......
安全协议是保证网络安全的重要技术之一，但安全协议自身的缺陷，往往会导致很严重的安全问题。如何验证安全协议能否实现其安全目标，成......
