意外的通用计算能力也可能成为攻击面
PowerPoint展示原本用于展示的动画构造可以模拟任意转移函数;安全演讲则把输入处理的计算能力视为应受限的权限,解释为什么通信边界不应无意引入过强的执行能力。
沿同一来源继续阅读
极简解释器与幻灯片都能承载通用计算 →Byrd说明变量查找、Lambda与应用的极小核心已能表达通用计算;PowerPoint演示以动画磁带和可修改转移表模拟图灵机。两者揭示通用计算不依赖熟悉的表面语法或庞大语言。不可信输入进入处理路径前,边界应在哪里 →提示注入演示外部内容被误当成新指令;LangSec则展示在完整识别输入前交错执行处理逻辑,会产生攻击者可利用的状态转换。两者可作为输入边界设计的对照,不能据此推出相同攻击机制或相同修复办法。遇到无效输入,应当纠正还是拒绝? →信道纠错把接近合法码字的受扰数据解码为合法邻居;协议安全要求完整识别输入后再交给处理逻辑。两端都界定了合法消息,决定如何处理偏离时,需要先问面对的是随机误码还是主动构造的输入。
对照原文
essentially imitate any transition function of any other touring machinetreat input handling computational power as privilege and reduce that privilege前者是主动构造的演示,不是漏洞证据;后者限制的是协议边界而非反对所有通用计算。