An End-to-End Threat Model for the Quantum-as-a-Service Pipeline

想象一个这样的世界：计算机不再仅仅是用微小的开关来处理数字，而是利用那些可以同时处于两个地方的粒子，与现实的织物共舞。这就是量子计算的领域，这项技术如此强大，承诺能够解决那些当今超级计算机需要花费数千年才能完成的问题。但转折在于：你可能不会拥有这样一台机器。相反，它们存在于巨大的、受气候控制的数据中心里，你通过互联网访问它们，就像使用视频游戏或流媒体服务一样。这被称为“量子即服务”（Quantum-as-a-Service，简称 QaaS）。把它想象成租用一个超快速、神奇的厨房来烤蛋糕。你从家里的电脑发送你的食谱（代码），云端厨房用一个特殊的量子烤箱将其烘焙，然后将美味的结果传回给你。

然而，这条神奇的流水线有点像一列高速列车穿过十几个不同的车站，每个车站都有自己的保安、检票员和轨道开关。如果小偷骗过了检票员，或者弄乱了轨道开关，甚至只是窥视了时刻表，他们就能偷走你的蛋糕，或者在蛋糕还没烤好之前就毁掉了食谱。虽然科学家们已经发现了一些破解这些系统的诡计——比如欺骗烤箱让它以为正在烹饪别的东西——但他们一直都在孤立地观察每个站点。他们尚未绘制出一张完整的地图，展示一名小偷如何从一个站点跳到另一个站点，从而造成最大的混乱。这正是来自芬兰于韦斯屈莱大学的研究团队决定解决的谜题。

Badhon Rahman、Majid Haghparast 和 Tommi Mikkonen 的论文充当了整个量子任务旅程的总侦探蓝图。他们将向云端发送量子任务的复杂过程分解为六个不同的阶段，就像一场由六名选手组成的接力赛。首先，你在本地计算机上设计你的电路（开发者环境）。接着，你登录并提交你的食谱（身份验证与提交）。然后，云端组织你的任务，并将你的食谱翻译成量子机器能理解的语言（云端编排与编译）。第四阶段是实际的烹饪过程，即量子处理器运行你的任务（量子硬件执行）。之后，结果被测量并清理（结果返回路径），最后，整个过程可能会循环回到开始，以新的指令重新启动（混合迭代循环）。

利用一个经典的安全性检查清单——STRIDE，它代表着仿冒（Spoofing）、篡改（Tampering）、抵赖（Repudiation）、信息泄露（Information Disclosure）、拒绝服务（Denial of Service）和权限提升（Elevation of Privilege）——作者们绘制出了在每个阶段中可能干扰任务的每一种可能方式。他们不仅列出了已知的招数，还将它们组织成一个色彩斑斓的矩阵。在他们的地图中，橙色单元格表示已经在现实生活中被证明过的攻击，例如“QubitHammer”（黑客通过调整机器设置来破坏你的计算）或“SWAP 攻击”（他们将你的数据与他人的数据进行交换）。浅蓝色单元格代表“继承型”攻击，即那些针对量子机器周围经典计算机的传统黑客手段，比如窃取你的登录密码。浅绿色单元格是最令人兴奋的部分：这些是看似合理但研究不足的威胁，尚未被充分探索，例如“抵赖”（黑客做了某事后成功否认自己做过）或“权限提升”（低级别用户诱骗系统给予他们通往王国的钥匙）。

然而，这篇论文真正的魔力不在于列出单个问题，而在于作者们如何将这些点连接起来，展示一个阶段的小故障如何引发整个系统的巨大灾难。他们识别出了三个特定的“攻击链”，在这些链条中，小偷可以通过组合不同的招数来造成严重的破坏。例如，在“攻击链 A”中，黑客可以首先监听量子机器的功耗，从而推测出你的食谱长什么样（侧信道攻击），然后利用这些秘密知识对你的特定计算发起针对性的破坏攻击。在“攻击链 B”中，他们可以利用关于机器布局的公开信息，在甚至还没看到你的食谱之前，就策划一次潜行攻击。或许最巧妙的是，“攻击链 C”表明，黑客可以窃取有关云端如何翻译食谱的信息，利用该信息在翻译过程中植入一个“特洛伊木马”，然后以一种让系统看起来完全正常的方式干扰你的任务。

通过将所有这些碎片整合在一起，作者们建议我们不应再将量子安全视为一系列孤立的问题，而应将其视为一个相互连接的流水线。他们并不声称已经修复了这些漏洞，也不说系统注定失败。相反，他们提供了一种观察全局的结构化方法，强调了哪些领域需要更多研究，以及不同的脆弱性是如何联手创造更大的威胁的。这提醒我们，在量子世界中，就像在玩多米诺骨牌游戏一样，如果你推倒了第一块，你需要准确知道剩下的骨牌会如何倒下。