ASILO：跨学科类比¶

ASILO 说明借助人工智能（AI）构建的系统的边界与安全。把一条软件边界比作船上的一个舱室，或把一次审查比作一个反馈回路，有助于理解我们想要控制的是什么。本页面向那些需要解释这些决定、却不想从代码讲起的读者。

下列对应关系是编辑性的改编。各来源描述的是它们自己的机制；它们既不为 ASILO 背书，也不确立与本方法论之间的直接谱系。 ASILO 0.1 的要求保持其范围、条件与例外。

保护与软件组织¶

代码依赖表明哪一部分使用了另一部分的定义。特权授权某些特定操作。 执行边界限制组件在运行期间能够做什么。同一幅图可以展示分层，却不能证明另外两种属性；因此应当把这些参照分开。

参照与来源	有助于理解的思想	在 ASILO 中的解释性改编	比较的局限
保护环：Schroeder 与 Saltzer，1972。	Multics 使用处理器机制来控制特权以及跨环调用。	追问哪个行为者能跨越边界、通过什么机制、有什么证据。	ASILO 中画出的架构环不是处理器的特权环。其位置并不证明隔离。
端口与适配器：Cockburn，2005。	通过交互契约，把应用内部与外部设备和技术分开。	解释为什么在实现机制变化时，契约可以保持不变。	六边形并不固定为六个部分。代码的分离既不授权动作，其本身也无法遏制恶意代码。
洋葱架构：Palermo，2008。	让依赖指向核心，把基础设施放在外围。	在已声明的模型中展示职责与依赖方向，如 ASILO-R-002 在适用时所要求的。	与中心的距离并不决定信任或权限。该要求没有固定统一的层数。
整洁架构：Martin，2012。	通过代码依赖的方向，区分内部策略与外部机制。	解释每一层需要了解什么，以及希望把哪些变更限制在局部。	圆圈只是示意。遵守导入规则既不证明影响已获授权，也不证明没有错误。
能力系统：Saltzer 与 Schroeder，1975，第 II.B 节。	受保护且不可伪造的能力授权对某个对象的访问。	解释限定于资源和操作的权限，以及由配置具体规定的有效期与撤销。	书面的权限需要有效的机制。能力不是零知识的密码学证明；限制访问并不证明这一属性。
纵深防御：NIST 定义。	通过互补的屏障，把人员、技术和运营结合起来。	把契约、授权、数据和影响作为不同的控制来审查，并为每一项提供证据。	叠加控制既不保证安全，也不保证各控制的失效相互独立。该定义不能证明 ASILO 有唯一的军事起源。

遏制、审查与证据¶

遏制指限制故障的传播。反馈指某个结果或观察重新影响产生它的系统。在这里它用来解释观察、审查与再次核查。自相似描述不同尺度之间结构上的相似；这里只把它当作类比使用，不给本方法赋予数学性质。

参照与来源	有助于理解的思想	在 ASILO 中的解释性改编	比较的局限
船舶分舱：IMO，破损稳性。	水密分隔及其功能性界限有助于避免渐进性进水。	识别什么可能让故障扩散，以及哪些边界、控制与检查限制了这条路径。	一个文件夹或一个独立的包并不是水密舱壁。船舶的生存性结果不能移植到软件上。
电气保护：Schneider Electric，ComPacT NSX 手册。	过载与短路保护使用阈值、延时以及设备之间的协调。	解释已声明的限额、限额耗尽时会发生什么，以及如何检查停止，如 ASILO-R-007 在适用时所述。	token 预算不是电气保护。设备的曲线、认证和响应时间并不证明软件已停止。
免疫学：NIGMS/NIH，2024。	对自身与非自身的识别，以及适应性免疫的记忆。	区分来源，对外部输入保持谨慎，并保留经验以便审查控制。	数据模式不是生物学特征：校验格式并不能验证身份、意图或真实性。记录也不会自动产生适应。
控制论与调节：Ashby，1956，第 4、5、10 和 12 章。	观察、与期望状态比较、干预，再次观察。	解释对结果、消耗与限额的审查；在其环境中检查停止或审查动作。	记录本身并不能使系统稳定。反馈可能不足或不稳定；自动调整需要自己的理由与检查。
自相似几何：Hutchinson，1981。	该来源用压缩映射族将自相似集形式化。	在审查一次操作、一项服务和一个系统时，提醒自己关于边界、权限和证据的问题。	重复提问或重复模式，并不证明 ASILO 是数学意义上的分形，也不证明某一部分的安全会继承到整体。
证据保管链：NIST 定义与 SP 800-86，2006。	记录证据的流转与处理，包括责任人、日期和移交目的。	记录得到了什么结果、其审查情况以及由谁接收，同时保留来源与变更。	哈希可以相对于某个参照比较完整性；它本身不能证明作者身份、链条完整、真实性或法律上的可采性。

一个没有代码、只有一个助手的示例¶

一个虚构的团队用虚构的数据准备一份简报。有人请一个 AI 助手撰写摘要；这项委托的内容是准备文本，发送则由这个人在审阅最终版本后进行。

分隔有助于考虑哪些文档纳入这项委托，哪些排除在外。 限定的权限区分撰写与发送：助手不会因为生成了文本，就获得发送的授权。反馈有助于审查错误，并对修正后的内容重复检查。 证据保管链提醒我们保留来源、审阅过的版本以及关于是否发送的决定。

这个示例产生可审查的记录与决定。没有任何类比能证明摘要属实，也不能证明某项控制已经实现。提出这些问题并不需要多智能体系统； AI 适用范围指南区分了各种情形的条件。

开始时，选一个有助于解释你项目中某项决定的参照。识别真实的控制、它的适用条件、观察到的结果，以及仍然处于其检查范围之外的内容。继续阅读层与环、能力与影响和评估。