arXiv:2503.22755v1 类型: cross 摘要：网络安全要求严格的可扩展技术以确保系统正确性、鲁棒性和对不断变化的威胁的韧性。自动推理，包括形式逻辑、定理证明、模型检查和符号分析，为跨越访问控制、协议设计、漏洞检测和对手建模等不同领域的安全属性验证提供了基础框架。本文综述了自动推理在网络安全中的作用，分析了如何使用逻辑系统，包括时态逻辑、义理性逻辑和知识论逻辑，来形式化和验证安全保证。我们检查了最先进的工具和框架，探讨了与人工智能的集成以进行神经-符号推理，并突出了关键的研究空白，特别是可扩展性、组合性和多层次安全建模。本文以一组坚实的基础提出了未来研究方向，旨在通过形式化、自动化和可解释的推理技术促进安全系统的开发。