arXiv 人工智能· Rolf Drechsler, Christina Plump·· 5 小时前AI 评分35
Secure Formal Raising：通过可执行属性保障 AI 培育安全
Secure Formal Raising: Protecting the Development of AI through Executable Properties
AI 导读
研究人员提出 Secure Formal Raising（SFR）框架，通过保留未知与不一致评估的四值证据，对 AI 培育环境的策略完整性、授权及机密数据流建模。该研究证明了 6 个安全不变量，强制系统准入仅接受已确认证据。纯 C 语言参考实现已通过有界穷举探索验证，并指出了可通过溯源要求解决的工具调用混淆代理漏洞。
来源：arXiv 人工智能 · arxiv.org