概念Taint Tracking
污点追踪
信息流安全领域的核心技术,给数据打来源标签并在数据流经操作时传播标签,到达敏感汇点时触发策略
时间轴 (近 90 天)
10月18日
修复方案包括:将审批绑定到精确参数(工具、收款方、金额、发票、过期时间、nonce)并在执行时再次校验;对出口做污点追踪;给审批人看原始请求和参数;给检索chunk标注来源;按任务最小权限运行;测试对象而非仅测试动词。
待验证50%
10月18日
污点追踪源自信息流安全模型,核心思想是给数据打上来源可信度标签并让标签随数据流动传播,不可信来源的数据进入变量或上下文后,送往外部目标的操作为被拦截或降级。
待验证50%
10月17日
AegisKernel的数学污点追踪将所有外部数据包装为TaintedString类型,切片、大小写转换、格式化等操作在数学上保留污点标签。
待验证50%
10月17日
污点追踪的有效性依赖于所有外部输入都被正确标记,若开发者绕过框架直接读取环境变量或网络数据,污点链会断裂。
待验证50%
全部知识事实 (4)
待验证
修复方案包括:将审批绑定到精确参数(工具、收款方、金额、发票、过期时间、nonce)并在执行时再次校验;对出口做污点追踪;给审批人看原始请求和参数;给检索chunk标注来源;按任务最小权限运行;测试对象而非仅测试动词。
50%待验证污点追踪源自信息流安全模型,核心思想是给数据打上来源可信度标签并让标签随数据流动传播,不可信来源的数据进入变量或上下文后,送往外部目标的操作为被拦截或降级。
50%待验证AegisKernel的数学污点追踪将所有外部数据包装为TaintedString类型,切片、大小写转换、格式化等操作在数学上保留污点标签。
50%待验证污点追踪的有效性依赖于所有外部输入都被正确标记,若开发者绕过框架直接读取环境变量或网络数据,污点链会断裂。
50%