安全研究员：防御安全更易自动化，自动推断漏洞规格是下一前沿

mboehme_ · x · 2026-11-02

安全研究员 mboehme 在推文中论证：进攻性安全难以自动化，因为一个特性是否构成安全问题往往要等被实际利用后才知道——攻击本身就是发现漏洞存在的方式；而防御性安全更容易自动化，形式化验证的近期进展就是例证。

他用数学类比：提出猜想需要直觉与高层理解，而证明猜想明显更容易（近期 AI 生成的数学证明大量涌现即为佐证）。对应到安全领域，他认为：什么算安全漏洞高度依赖领域、甚至依赖具体程序，需要直觉和专家经验；能否自动推断这些「错误规格」将是安全领域的下一个前沿。