安全|研究人员揭示存在54年的通用图灵机零日漏洞可用于执行任意代码_研究人员揭示存在54年的通用图

瑞典斯德哥尔摩 KTH 皇家理工学院的计算机科学教授 Pontus Johnson，刚刚在一篇学术文章中介绍了他在通用图灵机（UTM）中发现的可执行任意代码的相关漏洞。作为历史上最早的计算机设计之一，通用图灵机（UTM）是由已故的人工智能学家 Marvin Minsky 在 1967 年提出的一项概念模拟设计。尽管他承认这么做没有“现实意义”，但此事还是引发了业内人士的广泛讨论。

文章图片

（来自：Marvin L. Minsky | PDF）
The Register 指出，这其实是一个相当有趣的哲学观点，即如果计算机的最简单概念之一容易受到用户的干预，那我们应该的设计过程中尝试部署哪些安全特性？
Pontus Johnson 在论文中写道：“通用图灵机常被认为是最简单、最抽象的计算机模型，但通过利用 UTM 缺乏输入验证这一缺点，就能够诱骗它运行第三方编写的程序” 。

据悉，Marvin L. Minsky 在 UTM 的概念设计中描绘了一款基于磁带的机器，它能够从模拟磁带中读取并执行相当简单的程序。
磁带上的指令以单行字母数字字符来表示，且能够通过模拟磁头的左右移动来读取。尽管用户能够在磁带开头进行输入，但在 UTM 模型中，却没有考虑到用户不该修改随后的程序。

Pontus Johnson 补充道：“抛开历史意义不谈，我们还是可以深入讲解这一最简单计算机概念的脆弱性倾向” 。
然而 UTM 的“安全性”取决于一位数字，它被用来告诉机器“用户输入到此为止，之后的所有内容，都可适用机器刚刚读取的参数来执行“ 。