搜索结果: 1-1 共查到“信息与通信工程 SAT”相关记录1条 . 查询时间(0.037 秒)
提出了一种基于布尔可满足性问题的安全协议形式化分析方法SAT-LMC，通过引入惰性分析的思想优化初始状态与转换规则，提高了安全性的检测效率。另一方面，通过在消息类型上定义偏序关系，SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具，针对Otway-Rees协议检测出了一种类型缺陷攻击；针对OAuth2.0协议，检测结果显示对现实中存在的一些应用场景，存在一种利用授权...
