跳转至

译文

译自西班牙语原文,以原文为规范文本。 状态:草稿,待人工审校。如有歧义,以西班牙语原文为准。

ASILO 中的架构与安全

ASILO 0.1 的说明性指南。示意性模型和应用配置模板用于指导应用;它们不增加要求,也不规定通用架构。

ASILO 界定借助人工智能(AI)构建的系统。本导览说明职责、契约、数据、权限与作用点。无论系统是与一个模型交互、使用一个智能体还是多个智能体,都可以应用:每项要求都保留其适用条件和例外。AI 范围对这些情形作了说明。

分层架构用于组织职责。授权则决定某项具体操作能否对某个资源执行。这两种控制都需要各自的证据。

建筑物的类比

一栋建筑把工作区、设施和出入口分隔开来。能打开前台的门,并不意味着获准进入档案室。图纸显示各处如何相连;而锁具及其维护,决定了哪些通道真正可用。

在软件中,层用于分离职责,能力用于限制对资源的操作。导入规则和授权控制解决的是不同的问题:一个程序可能完全遵守了各层的划分,却仍然授权了错误的操作。

问题 决策与检查
各部分各自承担什么职责? 在该模型适用时,声明核心、契约、适配器和组合。
什么可以依赖什么? 声明依赖方向,并用应用配置提供的机制进行检查。
谁可以对这个资源进行操作? 对身份进行认证,并在作用点对具体操作进行授权。
如何限定一项授权? 声明资源、操作、有效期和撤销方式,并测试这些控制。
如何得知它确实有效? 汇集正向与反向的测试、配置、版本和结果。

一个小例子

某个应用允许查询和删除文档。逻辑决定每项操作的含义;契约描述访问方式;适配器对文件进行操作。授权在产生影响之前检查身份、文档和操作。一项反向测试尝试用只读权限删除文档,并确认这次拒绝没有导致删除。

这个例子展示的是一项可检验的准则。它没有规定某个库、某个身份提供方、某种加密算法或某种通用结构。

安全导览

阶段 可审查的产出 参阅
界定系统 资产、参与者、输入、边界和影响。 威胁模型。
选择职责划分 依赖模型与例外。 层与环。
限制每项操作 授权契约与作用点。 能力与影响。
检查边界 带结果的正向与反向场景。 评估。
凭证据演进 应用配置、版本、变更决定与限制。 应用配置与演进。

架构与安全术语是对通用术语表的补充。当资源、依赖或影响发生变化时,这些阶段可以重复进行。最小而有用的部分应保持其所处情境所需的控制;规模小并不意味着因此就安全。

请继续阅读层与环、ASILO 控制指南和评估。参见能力、端口与授权。

应用控制 · 已接受的要求。

背景与知识领域

环模型通过其有文献记载的背景加以说明。跨学科类比在明确的限制之下,对保护、隔离、监管与证据进行比较。领域与情境有助于区分阅读主题、使用情形和架构层。