Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning
该论文关注现代语义丰富系统与应用中的“应用逻辑漏洞”（application logic flaws）。这类漏洞与业务语义和威胁模型深度绑定，难以通过传统的模糊测试或静态分析规模化发现：真实系统往往包含多样的应用特性、复杂的协议逻辑与领域专
#logic-flaws
共收录 1 条相关情报。
← 返回所有主题