← 最新论文
💻 computer science

On the Figures of Merit for Quantum Software Security: Toward a Benchmarking Rubric

本文通过提出一套与 ISO/IEC 25010 对齐的结构化安全度量指标(S-FoMs)以及一个用于计算统一量子软件安全态势(QSSP)评分的基准测试量规,解决了量子软件缺乏标准化安全度量标准的问题。

原作者: Badhon Rahman, Majid Haghparast, Tommi Mikkonen

发布于 2026-08-07
📖 1 分钟阅读☕ 轻松阅读

原作者: Badhon Rahman, Majid Haghparast, Tommi Mikkonen

原始论文采用 CC BY 4.0 许可(http://creativecommons.org/licenses/by/4.0/)。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性,请参阅原始论文。 阅读完整免责声明

想象一个这样的世界:计算机不再仅仅是用微小的开关进行数字运算,而是利用那些可以同时处于两个位置的粒子,与现实的织物共舞。这就是量子计算的领域,这个领域正迅速从一个理论上的梦想转变为一种真实的工程实践。如今,大多数人并不拥有这些强大的机器;相反,他们通过云端租用它们,这种服务被称为量子即服务(QaaS)。这就像租用一辆超快速的赛车:你可以驾驶它,但你不拥有引擎,而且你必须信任建造它的车库。

目前,当我们讨论这些量子计算机有多好时,我们有一个非常清晰的清单。我们衡量它们的速度(运行有多快)、规模(有多少个量子比特,或称“qubits”)以及质量(它们保持量子态的可靠程度)。这就像通过最高时速、马力和过弯平顺度来评判一辆汽车。但这里有一个巨大的盲点:安全性。虽然我们知道这辆车跑得有多快,但我们并没有一种标准化的方法来衡量它针对黑客、间谍或云端试图窃取你的秘密或破坏你比赛的阴险邻居的防护能力。我们有一些零散的工具来检查特定的手段,但没有一个统一的系统能说:“这个软件比那个更安全。”

这正是论文**《论量子软件安全性的度量标准》("On the Figures of Merit for Quantum Software Security")介入的地方。作者 Badhon Rahman、Majid Haghparast 和 Tommi Mikkonen 主张,是时候停止猜测,开始像衡量性能一样精确地测量量子软件的安全性了。他们提出了一个新的“成绩单”系统,称为安全性度量标准(S-FoMs)**。

把现状想象成一群人试图比较不同盾牌的强度。一个人举起盾牌说:“它的有效性是 28.83%!”而另一个人说:“我的只有 1.92!”问题在于,他们使用的是不同的尺子和对“有效性”不同的定义。一个人在测量盾牌使图像产生了多少畸变,而另一个人在测量它在压力下产生了多少裂纹。你无法直接将它们进行比较。作者指出,这种混乱目前是量子领域的常态。有些工具测量隐藏程序逻辑的效果(混淆),而另一些工具则试图测量黑客是否能窃取代码,但它们说的都是不同的语言。

为了解决这个问题,该团队基于一个著名的国际软件质量标准(ISO/IEC 25010)构建了一个结构化框架。他们将安全性分解为熟悉的类别,如机密性(保护秘密)、完整性(确保没有人篡改结果)、真实性(证明你是谁)以及抵抗力(对抗攻击)。然后,他们将这些类别映射到量子旅程的不同阶段,从开发者编写代码的那一刻起,直到结果从云端返回的那一刻。

该论文建议通过三个步骤来为任何量子软件创建一个单一且可比较的分数:

  1. 声明敌人: 如果不说明你要防御谁,你就无法衡量安全性。是一个试图逆向工程你的代码的黑客?还是试图窥探你数据的同一个云服务器上的邻居?作者坚持认为,每一个安全分数都必须附带一个明确的“威胁模型”。
  2. 数值归一化: 他们提出了一种数学方法,将所有那些令人困惑、互不兼容的测量值(例如 28.83% 与 1.92% 的例子)转换为 0 到 1 之间的标准分数。在这个新系统中,1 代表“超级安全”,0 代表“完全敞开”。这使得你可以用同一个尺度来比较一个隐藏秘密的工具和一个防止篡改的工具。
  3. 创建综合得分: 最后,他们建议将这些归一化后的分数组合成一个单一的数字,称为量子软件安全态势(QSSP)。这为你提供了软件安全的“健康评分”。然而,他们小心地指出,安全性往往伴随着成本(比如更慢的速度或更复杂的代码)。因此,他们也会单独追踪这种“安全开销”,以确保评估一个工具时,不仅看它有多安全,还要看它会让你的速度降低多少。

为了证明他们的观点,作者使用这个新系统重新分析了两种现有的隐藏量子代码的方法。他们展示了在旧的、混乱的规则下,结果是无法公平比较的。但一旦应用了他们的新“尺子”和标准化定义,他们就能清晰地看出哪种方法提供了更好的保护,以及代价是什么。

这篇论文并不声称已经解决了量子世界中的每一个安全问题。相反,它提供了一个蓝图。它表明,我们需要从临时性的、一次性的测量转向统一、标准化的安全性交流方式。通过这样做,开发者和用户终于可以做出明智的决策,确切地知道他们的量子软件有多安全,以及它与竞争对手相比表现如何。这是迈向一个我们可以像信任量子引擎的速度一样信任量子云的未来的第一步。

您所在领域的论文太多了?

获取与您研究关键词匹配的最新论文每日摘要——附技术摘要,使用您的语言。

试用 Digest →