动作时序逻辑论文

安全协议形式化描述语言的设计与解析
论文摘要安全协议的重要性随着网络技术的飞速发展与日俱增，安全协议的形式化分析已成为网络安全领域的研究热点。形式化描述是形式化分析的前提。本文首先对安全协议的形式化描述技术进行了...