📚 GSPM技术资料

📦 资源总数：1

🔥 GSPM热门资料

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。...

⬇️ 7 次下载

GSPM

📂 GSPM资料分类