基于Horn逻辑扩展模型的安全协议反例的自动构造

Keywords: [安全协议, 扩展的Horn逻辑模型, 形式化验证, 反例, 复杂性, security protocol, extended Horn logic model, formal verification, counter-example, complexity]

Full-Text   Cite this paper   Add to My Lib

Abstract:

根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法，..

Full-Text