OpenAgent形式化验证与可信云操作实践

发布于 2026-10-27

将页面保存为PDF

案例企业：

阿里云

行业：

通用

总部：

杭州

营收：

1180.28 亿元（2025年）

摘要：OpenAgent面向用云、管云任务，将形式化验证用于基础架构、执行行为和输出结果。相关实验围绕安全稳定、行为可控、输出可信三个目标，对关键属性建模验证，在工具执行前进行规约检查，并验证生成的权限策略，使Agent操作生产资源时具有可检查的边界和依据。