💻 computer science

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

Este artigo aborda a falta de métricas de segurança padronizadas para software quântico ao propor um conjunto estruturado de Figuras de Mérito de Segurança (S-FoMs) alinhadas à ISO/IEC 25010 e uma rubrica de benchmarking para calcular uma pontuação unificada de Postura de Segurança de Software Quântico (QSSP).

Autores originais: Badhon Rahman, Majid Haghparast, Tommi Mikkonen

Publicado 2026-08-07

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Badhon Rahman, Majid Haghparast, Tommi Mikkonen

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine um mundo onde os computadores não apenas processam números com interruptores minúsculos, mas dançam com o próprio tecido da realidade usando partículas que podem estar em dois lugares ao mesmo tempo. Este é o reino da computação quântica, um campo que está mudando rapidamente de um sonho teórico para uma prática de engenharia real. Hoje, a maioria das pessoas não possui essas máquinas poderosas; em vez disso, elas alugam tempo nelas através da nuvem, um serviço conhecido como Quantum-as-a-Service (QaaS). É como alugar um carro de corrida superveloz: você pode dirigi-lo, mas não é dono do motor e tem que confiar na garagem que o construiu.

No momento, quando falamos sobre o quão bons são esses computadores quânticos, temos um checklist muito claro. Medimos sua Velocidade (o quão rápido eles rodam), sua Escala (quantos bits quânticos, ou "qubits", eles possuem) e sua Qualidade (o quão confiavelmente eles mantêm seu estado quântico). É como julgar um carro por sua velocidade máxima, cavalaria e o quão suavemente ele faz as curvas. Mas há um enorme ponto cego: a segurança. Embora saibamos o quão rápido o carro corre, não temos uma forma padronizada de medir o quão bem ele está protegido contra hackers, espiões ou vizinhos sorrateiros na nuvem que possam tentar roubar seus segredos ou sabotar sua corrida. Temos algumas ferramentas dispersas para verificar truques específicos, mas nenhum sistema unificado para dizer: "Este software é mais seguro que aquele".

É exatamente aqui que o artigo "On the Figures of Merit for Quantum Software Security" entra. Os autores, Badhon Rahman, Majid Haghparast e Tommi Mikkonen, argumentam que é hora de parar de adivinhar e começar a medir a segurança do software quântico com a mesma precisão que usamos para o desempenho. Eles propõem um novo sistema de "boletim escolar" chamado Security Figures of Merit (S-FoMs).

Pense na situação atual como um grupo de pessoas tentando comparar a resistência de diferentes escudos. Uma pessoa levanta um escudo e diz: "É 28,83% eficaz!", enquanto outra diz: "O meu é 1,92!". O problema é que elas estão usando réguas diferentes e definições diferentes de "eficaz". Uma está medindo o quanto o escudo distorce uma imagem, enquanto a outra mede o quanto ele racha sob pressão. Você não pode compará-los diretamente. Os autores apontam que essa confusão é a norma atual na segurança quântica. Algumas ferramentas medem o quão bem elas escondem a lógica de um programa (ofuscação), enquanto outras tentam medir se um hacker pode roubar o código, mas todas falam línguas diferentes.

Para corrigir isso, a equipe constrói um framework estruturado baseado em um famoso padrão internacional de qualidade de software (ISO/IEC 25010). Eles dividem a segurança em categorias familiares como Confidencialidade (manter segredos), Integridade (garantir que ninguém altere os resultados), Autenticidade (provar quem você é) e Resistência (combater ataques). Em seguida, eles mapeiam essas categorias para as diferentes etapas da jornada quântica, desde o momento em que um desenvolvedor escreve o código até o momento em que o resultado retorna da nuvem.

O artigo sugere um processo de três etapas para criar uma pontuação única e comparável para qualquer software quântico:

Declarar o Inimigo: Você não pode medir a segurança sem dizer contra quem está se protegendo. É um hacker tentando fazer engenharia reversa no seu código? Ou um vizinho no mesmo servidor de nuvem tentando espionar seus dados? Os autores insistem que toda pontuação de segurança deve vir com um "modelo de ameaça" claro.
Normalizar os Números: Eles propõem uma forma matemática de converter todas aquelas medições confusas e incompatíveis (como o exemplo de 28,83% vs. 1,92%) em uma pontuação padrão de 0 a 1. Neste novo sistema, 1 significa "super seguro" e 0 significa "totalmente exposto". Isso permite que você compare uma ferramenta que esconde segredos com uma ferramenta que evita manipulações na mesma escala.
Criar uma Pontuação Composta: Finalmente, eles sugerem combinar essas pontuações normalizadas em um único número chamado Quantum Software Security Posture (QSSP). Isso fornece uma "pontuação de saúde" para a segurança do software. No entanto, eles são cuidadosos ao notar que a segurança geralmente vem com um custo (como velocidades mais lentas ou códigos mais complexos). Por isso, eles também rastreiam esse "overhead de segurança" separadamente, garantindo que uma ferramenta não seja avaliada apenas pelo quão segura ela é, mas também pelo quanto ela te atrasa.

Para provar seu ponto, os autores pegaram dois métodos existentes para esconder código quântico e os reanalisaram usando seu novo sistema. Eles mostraram que, sob as regras antigas e desorganizadas, os resultados eram impossíveis de comparar de forma justa. Mas, uma vez aplicada a sua nova "régua" e definições padronizadas, eles puderam ver claramente qual método oferecia melhor proteção e a que custo.

O artigo não afirma ter resolvido todos os problemas de segurança no mundo quântico. Em vez disso, oferece um blueprint. Ele sugere que precisamos nos afastar de medições ad-hoc e pontuais para um modo unificado e padronizado de falar sobre segurança. Ao fazer isso, desenvolvedores e usuários poderão finalmente tomar decisões informadas, sabendo exatamente quão seguro é o seu software quântico e como ele se compara à concorrência. É o primeiro passo para um futuro onde podemos confiar na nuvem quântica tanto quanto confiamos na velocidade do motor quântico.

Resumo Técnico: Sobre as Figuras de Mérito para a Segurança de Software Quântico

Definição do Problema

O software quântico está transitando rapidamente da pesquisa teórica para a prática de engenharia, sendo cada vez mais implantado via stacks de Quantum-as-a-Service (QaaS) multi-inquilino e baseadas em nuvem. Embora a comunidade tenha estabelecido Figuras de Mérito (FoMs) maduras para desempenho (ex: Quantum Volume, CLOPS) e esteja emergindo em métricas de qualidade de software (ex: complexidade de circuito, compreensibilidade alinhada à ISO/IEC 25010), a segurança do software quântico permanece amplamente não mensurada e não padronizada.

Os indicadores de segurança atuais são fragmentados e incompatíveis. As métricas existentes, como a Distância de Variação Total (TVD) e o Grau de Corrupção Funcional (DFC), foram introduzidas ad hoc para técnicas específicas de ofuscação de circuitos. Elas operam em diferentes escalas e definições, tornando-as incomparáveis. Consequentemente, não há uma rubrica compartilhada para determinar se uma ferramenta de software quântico é mais segura que outra, nem um framework para quantificar a segurança em todo o pipeline de QaaS (ex: autenticação, isolamento multi-inquilino, accountability). Isso cria um "gap de medição de três camadas", onde desempenho e qualidade são padronizados, mas as métricas de segurança estão ausentes ou não são uniformes.

Metodologia

O artigo propõe uma abordagem estruturada para preencher este gap através de três etapas metodológicas principais:

Caracterização do Gap de Medição: Os autores analisam o estado atual das métricas em três camadas:
- Camada 1 (Desempenho): Madura, padronizada e suportada por ferramentas.
- Camada 2 (Qualidade de Software): Emergente, adaptando métricas clássicas (ex: linhas de código, complexidade ciclomática) para programas quânticos.
- Camada 3 (Segurança): Fragmentada ou ausente, com métricas atualmente limitadas a técnicas específicas de ofuscação e carecendo de um framework unificado.
Proposta de Figuras de Mérito de Segurança (S-FoMs): Os autores definem S-FoMs como quantidades que medem características de segurança ou sobrecargas (overheads), calculadas via protocolos declarados contra modelos de ataque declarados, e normalizadas para uma escala comum de [0,1]. Eles organizam um conjunto candidato de S-FoMs com base em:
- Subcaracterísticas de Segurança ISO/IEC 25010:2023: Confidencialidade, Integridade, Autenticidade, Não-repúdio/Accountability e Resistência.
- Mapeamento do Pipeline QaaS: Alinhando métricas com seis estágios: Ambiente do Desenvolvedor (S1), Autenticação e Submissão (S2), Orquestração e Compilação na Nuvem (S3), Execução em Hardware Quântico (S4), Caminho de Retorno de Resultados (S5) e Loop de Iteração Híbrida (S6).
- Maturidade de Medição: Categorizando métricas como Estabelecidas (E), Adaptáveis (A) ou Propostas (P).
Desenvolvimento de uma Rubrica de Benchmarking: Para tornar as S-FoMs comparáveis, o artigo propõe uma rubrica de três etapas:
- Declaração do Modelo de Ataque: Toda S-FoM deve ser reportada contra um adversário específico (capacidades, acesso, estágio) para garantir a reprodutibilidade.
- Normalização: Valores brutos de métricas ( $m_i$ ) são mapeados para pontuações de orientação corrigida ( $\hat{m}_i \in [0,1]$ ) usando escalonamento min-max. Isso trata métricas onde "menor é melhor" (ex: DFC) invertendo a escala, garantindo que 1 represente a segurança mais forte.
- Agregação Ponderada: Uma pontuação composta de Postura de Segurança de Software Quântico (QSSP) é calculada como uma soma ponderada de S-FoMs normalizadas. O artigo observa que, para evitar o mascaramento de fraquezas (o problema do "elo mais fraco"), o QSSP deve ser publicado junto com um vetor de pontuação e uma média geométrica (alternativa conservadora). Adicionalmente, a Sobrecarga de Segurança (SO) é rastreada separadamente para permitir uma análise de fronteira de Pareto entre segurança vs. custo de recursos.

Principais Contribuições

Identificação do Gap de Medição de Segurança: O artigo caracteriza explicitamente a disparidade entre os benchmarks de desempenho maduros e o estado fragmentado das métricas de segurança no software quântico.
Taxonomia Estruturada de S-FoM: Propõe um conjunto abrangente de métricas de segurança candidatas organizadas por subcaracterísticas da ISO/IEC 25010 e mapeadas para o pipeline QaaS, distinguindo entre métricas estabelecidas, adaptáveis e propostas.
Rubrica de Benchmarking Padronizada: Os autores definem um protocolo para normalizar métricas díspares e agregá-las em uma pontuação QSSP única e comparável, incluindo mecanismos para lidar com trade-offs de sobrecarga de segurança.
Reanálise Ilustrativa: O artigo reanalisa duas técnicas de ofuscação publicadas (inserção de porta CNOT dummy e técnicas de portas reversíveis randomizadas). Demonstra que o reporte original delas (usando definições de TVD incompatíveis) é não-comparável. Ao aplicar a rubrica proposta, essas métricas são normalizadas, permitindo uma comparação válida e interpretável de suas subpontuações de confidencialidade.

Resultados e Descobertas

Estado Atual: A análise revela que a pesquisa quantitativa de segurança está concentrada atualmente em Confidencialidade (especificamente no estágio de compilação S3) e é a única propriedade bem instrumentada. Outras propriedades críticas como Accountability (Completude de Proveniência, Evidência de adulteração de log de auditoria) são rotuladas como "Propostas" (P), indicando a falta de métricas quânticas existentes.
Incompatibilidade de Métricas Existentes: A reanálise confirma que, sem padronização, métricas como TVD não podem ser comparadas entre diferentes estudos devido a definições e escalas divergentes.
Restauração da Comparabilidade: A aplicação da rubrica proposta transforma com sucesso números dispersos e não-comparáveis em uma comparação estruturada e interpretável, permitindo que profissionais avaliem ferramentas com base em uma postura de segurança unificada.

Significância

O artigo afirma que a segurança do software quântico merece o mesmo nível de atenção e padronização que o desempenho. Assim como o desempenho é medido via FoMs acordados (como Quantum Volume), a segurança requer um conjunto explícito de Figuras de Mérito de Segurança (S-FoMs).

A significância deste trabalho reside em fornecer o primeiro passo em direção ao benchmarking consciente da segurança da Stack de Software Quântico (QSS). Ao mover-se de indicadores ad hoc para um framework estruturado e normalizado, o artigo visa permitir que profissionais possam:

Quantificar defesas de segurança em vez de depender de alegações qualitativas.
Comparar diferentes ferramentas de software quântico e técnicas de ofuscação em um campo de jogo nivelado.
Tomar decisões de trade-off informadas entre força de segurança e sobrecarga operacional (ex: profundidade de porta, tempo de execução).

Os autores concluem que este framework é um passo fundamental, com trabalhos futuros planejados para desenvolver ferramentas de benchmarking reais para computar estas S-FoMs sobre programas quânticos reais (ex: Qiskit, Cirq) e definir protocolos para métricas atualmente não mensuradas.