模型检测工具论文

网络认证协议的高效模型检测研究
论文摘要网络认证协议的主要作用是验证通信主体的身份并协商安全的会话密钥,但在开放、分布式的网络复杂环境中认证协议可能会出现一些隐藏的缺陷,而这些隐藏的安全和设计缺陷难以通过测试...
实时系统模型检测工具FPTAT的算法与实现
论文摘要模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。实时系统的安全性至关重要,模型检测方法可以有效...