安全研究者：自动推断「错误规范」是安全下一前沿
mboehme_ · x · 2026-11-02
研究者 mboehme 提出观点：什么构成安全问题往往是领域特定、甚至程序特定的，能自动推断这些「error specifications」将是安全的下一个前沿。他区分了两类安全工作：防御性安全帮助我们抵抗或预防已知类别的攻击；进攻性安全则帮助我们理解究竟存在哪些攻击。
所属事件:安全研究者：攻防自动化难度如猜想与证明之别(8 条相关)→
「安全」频道最新
- 安全学者：攻击面自动化难于验证，防御已知漏洞更易自动化 — mboehme_ · 2026-11-02
- 英国用户如何关闭 Meta、OpenAI、Apple 的 AI 数据训练 — HotMinuteUK · 2026-11-02
- AI 安全研究者：AI 公司完全缺乏这类有效的事后人类监督 — davidmanheim · 2026-11-02
- 开源 offprompt：MCP 服务器让 Agent 请求密钥却永远看不到明文 — Vast_Ad_7338 · 2026-11-02
- Epoch AI 实验：GLM 5.3 连续攻破 6 个 Firefox 版本，单次成本约 1000 美元 — rohanpaul_ai · 2026-11-02
- Marcel Böhme 提出漏洞引导加固哲学：为何安全永远无法一劳永逸 — mboehme_ · 2026-11-02