⚡ engenharia elétrica

Physics-Guided Security-Aware Co-Design of SAC-OCDMA Links with Design-Held-Out SSFM Validation

Este artigo apresenta uma estrutura de co-projeto multiobjetivo guiada pela física para links SAC-OCDMA seguros que integra a modelagem analítica de interceptadores com a validação pelo método de Fourier de passo dividido mantido no projeto para identificar configurações Pareto-ótimas que alcançam transmissão segura e confiável de até 65 km.

Autores originais: Mohamed M. Shukra, G. Prathibha

Publicado 2026-10-22

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Mohamed M. Shukra, G. Prathibha

Artigo original sob licença CC BY 4.0 (https://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

Nas rodovias invisíveis da comunicação moderna, os dados viajam como pulsos de luz através de fibras de vidro, transportando tudo, desde transferências bancárias até chamadas de vídeo. Para manter esse tráfego fluindo suavemente, os engenheiros utilizam um método chamado acesso múltiplo por divisão de código óptico, que permite que muitos usuários compartilhem a mesma fibra ao mesmo tempo, atribuindo a cada pessoa uma assinatura espectral única, como um padrão de cores distinto. No entanto, este espaço compartilhado cria uma vulnerabilidade: se um ouvinte malicioso, ou espião, conseguir observar a luz de perto o suficiente, poderá tentar fazer a engenharia reversa desses padrões para roubar os dados. O desafio para os cientistas não é apenas fazer o sistema funcionar, mas projetá-lo de modo que permaneça seguro contra um atacante determinado, enquanto ainda entrega informações confiáveis ao receptor pretendido. Isso exige um delicado equilíbrio, onde aumentar a potência do sinal para ajudar o receptor pode acidentalmente criar distorções que ajudam o atacante, ou onde o endurecimento da segurança pode tornar a conexão frágil demais para sobreviver à jornada.

Uma equipe de pesquisadores abordou este problema complexo criando uma nova estrutura de design que trata a estrutura física dos códigos de dados e as condições de transmissão como um sistema único e interconectado. Em vez de testar uma configuração fixa, eles exploraram milhares de combinações possíveis de comprimentos de código, número de usuários, intensidades de sinal e tipos de fibra. O objetivo era encontrar as configurações específicas onde o sistema fosse rápido o suficiente para uso prático e seguro o suficiente para resistir a um atacante que pudesse fazer até um milhão de tentativas para adivinhar o código secreto. Eles construíram um pipeline de testes rigoroso que primeiro usou modelos matemáticos para filtrar opções impossíveis ou inseguras, depois usou uma simulação de computador de alta fidelidade para verificar os candidatos mais promissores e, finalmente, submeteu os melhores resultados a um processo de verificação multicamadas estrito para garantir que eles resistissem a variações do mundo real.

Os pesquisadores começaram auditando quarenta e oito designs estruturais diferentes para os códigos de dados. Aplicaram regras estritas para garantir que os códigos pudessem existir fisicamente e filtraram milhares de potenciais pontos operacionais, variando a distância que a luz percorreria, o espaçamento entre diferentes canais e a quantidade de dispersão da fibra, que é a tendência dos pulsos de luz de se espalharem ao longo da distância. Eles simularam um atacante com um orçamento de um milhão de tentativas para adivinhar o padrão de código correto. Através deste processo massivo de triagem, reduziram o campo para alguns milhares de candidatos viáveis. Destes, identificaram noventa e seis soluções otimizadas que ofereciam os melhores equilíbrios entre velocidade, eficiência de potência e segurança. Estas soluções não eram apenas teóricas; a equipe submeteu-as a uma auditoria direcionada onde reexecutaram as simulações mais críticas do zero para confirmar os resultados.

Os resultados finais revelaram limites claros para quão longe esta comunicação segura pode viajar. Sob condições de baixa dispersão de fibra, o sistema pode transmitir dados confiavelmente por até sessenta e cinco quilômetros. Quando a fibra possui maior dispersão, o que faz o sinal degradar-se mais rapidamente, o alcance seguro cai para cinquenta e cinco quilômetros. Estes números representam a distância máxima onde o receptor pretendido ainda consegue decodificar a mensagem claramente, enquanto o atacante permanece incapaz de recuperar o código secreto, mesmo com as suas milhões de tentativas. O estudo também descobriu que o sistema é mais seguro quando utiliza pesos de código específicos, ou o número de frequências de luz ativas por usuário, o que reduz significamente a chance de um atacante adivinhar o padrão com sucesso.

Para garantir que estas descobertas não fossem apenas artefatos de uma única execução de computador, os pesquisadores testaram os vinte e sete melhores pontos finais sob múltiplas condições. Executaram as simulações com diferentes sementes aleatórias e intervalos de tempo para ver se os resultados se mantinham, e verificaram o quão sensível o sistema era ao comprimento dos dados enviados. Descobriram que, para os pontos mais sensíveis, uma janela de dados de 512 bits era suficiente para manter a estabilidade, enquanto uma janela maior de 1024 bits não oferecia vantagem significativa. Também realizaram uma verificação separada e simplificada usando software de simulação comercial para verificar se a lógica do receptor funcionava corretamente quando os padrões de atraso eram correspondidos ou não correspondidos. Neste teste, o receptor pretendido decodificou o sinal com sucesso, enquanto o atacante simulado, usando um padrão não correspondente, falhou em extrair qualquer informação útil.

O estudo descarta explicitamente a ideia de que um único design funcione para todas as situações. Eles descobriram que o que funciona para uma curta distância com baixa dispersão não necessariamente funciona para distâncias mais longas ou diferentes tipos de fibra. Além disso, esclareceram que as suas reivindicações de segurança baseiam-se num modelo específico de um atacante que adivinha códigos de forma independente; não alegaram ter provado o segredo criptográfico absoluto contra todos os tipos possíveis de ataque, tais como aqueles envolvendo canais laterais ou espiões cooperativos. O trabalho serve como um blueprint de como construir estes sistemas, mostrando que, ao co-projetar cuidadosamente a estrutura do código e o ambiente de transmissão, é possível criar links ópticos que sejam simultaneamente robustos e seguros. Os pesquisadores concluíram que, embora as suas simulações de computador forneçam uma base sólida, as decisões finais sobre onde operar estes sistemas devem sempre ser confirmadas por testes diretos de alta fidelidade para garantir que a física da luz se comporte exatamente como previsto.

Resumo Técnico: Co-projeto Orientado pela Física e Consciente de Segurança para Links SAC-OCDMA

Definição do Problema
O acesso múltiplo por divisão de código óptico com codificação de amplitude-espectro (SAC-OCDMA) seguro requer a otimização conjunta da estrutura do código, dos recursos de transmissão e da segurança na camada física. As pesquisas existentes trataram, em grande parte, a construção de códigos e a supressão de interferência separadamente das reivindicações de segurança, ou basearam-se em métodos de otimização estocástica que carecem de auditabilidade. Além disso, a simulação de alta fidelidade da propagação não linear em fibras (via Método de Fourier de Passo Dividido, SSFM) em todo o espaço de projeto conjunto de parâmetros de código, cargas de usuários e distâncias de transmissão é computacionalmente proibitiva. Há uma necessidade de um framework que integre o design combinatório de códigos, modelagem analítica de interceptadores (eavesdroppers) e simulação de propagação baseada em física para produzir limites operacionais auditáveis, seguros e confiáveis sem depender de otimizadores estocásticos não verificados.

Metodologia
Os autores propõem um framework de co-projeto multiobjetivo "orientado pela física" que distribui a autoridade de decisão através de um fluxo de trabalho estruturado, em vez de incorporar a equação de Schrödinger não linear diretamente em uma função objetivo substituta (surrogate). A metodologia procede através das seguintes etapas:

Triagem Estrutural e Analítica:
- Auditoria de Código: Um domínio inicial de 48 designs estruturais (variando comprimento de código $L$ , peso $w$ e carga de usuários $K$ ) é filtrado pela viabilidade de autocorrelação zero ( $Kw \le L$ ), reduzindo o conjunto para 23 candidatos.
- Modelagem de Segurança: Um modelo quantitativo de interceptador (Eve) é definido com base em estatísticas de sobreposição de peso constante. Assume-se que Eve possua um orçamento de até $10^6$ tentativas independentes. As restrições de segurança incluem limites na taxa de vazamento de informação (ILR), probabilidade de vazamento positiva, probabilidade de segurança-confiabilidade e probabilidade de recuperação total do código.
- Triagem Semi-Analítica: Uma grade grosseira de 3.450 pontos de recursos (combinações de potência, distância, espaçamento de canal e dispersão) é avaliada contra o modelo de segurança analítico e restrições básicas de link, retendo 3 de 330 pontos através de seis designs de código viáveis.
Modelagem Substituta (Surrogate) Orientada pela Física:
- Geração de Dados: Um conjunto de dados estratificado de 108 pontos operacionais de múltiplos designs é gerado usando simulações diretas de SSFM. Este conjunto de dados inclui pontos seguros, falhas de limites físicos e falhas de limites de segurança.
- Construção do Modelo Substituto: Modelos substitutos de regressão quadrática (quadratic-ridge) baseados em características físicas são treinados para prever o fator Q do SSFM e o $\log_{10}(\text{BER})$ . Crucialmente, os modelos utilizam validação "design-held-out" (deixar um design de fora) para garantir que o substituto não sofra overfitting a estruturas de código específicas.
- Papel do Modelo Substituto: O modelo substituto é estritamente limitado à triagem e classificação de candidatos dentro do domínio suportado; ele não certifica os limites operacionais finais.
Enumeração Exata e Otimização de Pareto:
- O framework realiza uma enumeração exata de 25.092 candidatos suportados através dos seis designs viáveis.
- A otimização multiobjetivo identifica 96 pontos Pareto-ótimos baseados em throughput seguro, eficiência espectral, capacidade de segredo e potência total de lançamento.
Auditoria Direta e Qualificação de Robustez:
- Auditoria Direcionada: Um conjunto específico de 39 pontos Pareto e de fronteira é reavaliado usando SSFM direto para verificar as previsões do modelo substituto.
- Mecanismo de Resgate: Se um ponto Pareto falhar na auditoria direta, uma busca de "resgate adaptativo" local é acionada para encontrar um ponto viável próximo.
- Qualificação Numérica: O conjunto final de pontos passa por testes rigorosos de robustez, incluindo simulações de múltiplos slots/múltiplas sementes, verificações de convergência de passo de propagação (refinando tamanhos de passo para pontos sensíveis) e análise de sensibilidade de janela de bits (comparando janelas de 512 bits vs. 1024 bits).
Verificação de Implementação Independente:
- Uma simulação reduzida no OptiSystem 23.0 é conduzida em um demonstrador de fluxo único e quatro comprimentos de onda a 39 km. Isso serve como uma verificação de nível de componente para atraso decodificado correspondente versus não correspondente (matched-versus-mismatched), verificando a lógica do receptor sem validar o espaço de busca multiusuário completo ou o segredo criptográfico.

Principais Resultados

Redução do Espaço de Design: Dos 48 designs iniciais, apenas 6 foram suportados pelo conjunto de dados SSFM de múltiplos designs após a aplicação de restrições de segurança e físicas.
Conjunto Pareto: A síntese final produz 15 pontos Pareto únicos, diretamente auditados, e 25 atribuições de papéis de objetivos através de cinco cenários viáveis de distância-dispersão.
Fronteiras de Segurança-Confiabilidade: O estudo estabelece fronteiras comuns validadas diretamente para operação segura e confiável:
- 65 km para dispersão $D = 2$ ps/(nm·km).
- 55 km para dispersão $D = 17$ ps/(nm·km).
- Estas fronteiras são limites compostos onde a confiabilidade direta de SSFM de Bob ( $Q \ge 6$ , $\text{BER} \le 10^{-9}$ ) coincide com as restrições analíticas de segurança.
Desempenho do Modelo Substituto: O modelo híbrido aninhado alcançou 92,31% de concordância de decisão no conjunto de auditoria direcionada. Ele foi deliberadamente conservador, produzindo zero falsos positivos no conjunto de desenvolvimento, mas perdendo 46 casos viáveis (falsos negativos), confirmando sua utilidade como ferramenta de triagem em vez de ferramenta de certificação.
Sucesso do Resgate: Um ponto Pareto inicialmente falhou na auditoria direta (devido a $Q < 6$ ). Uma busca de resgate adaptativo identificou um ponto de substituição com um aumento de potência de 0,25 dBm que restaurou $Q$ para 6,3057 com perda negligenciável de throughput.
Verificação OptiSystem: No demonstrador de 39 km, o receptor legítimo (Bob) manteve $Q \approx 6,46$ com um tap de 1% de Eve e atraso não correspondente, enquanto o interceptador (Eve) falhou na decodificação ( $Q=0$ ). No entanto, quando o atraso de Eve foi correspondido, a decodificação foi restaurada, isolando o efeito do padrão de atraso sem provar o segredo criptográfico.

Significância e Alegações
O artigo afirma fornecer uma arquitetia de decisão rastreável de ponta a ponta para o co-projeto de SAC-OCDMA. Sua principal significância reside em:

Integração: Acoplamento bem-sucedido do design estrutural de código, modelagem de segurança analítica e simulação de física de alta fidelidade em um único fluxo de trabalho.
Auditabilidade: Substituição da otimização estocástica pela enumeração exata e auditoria direta por SSFM, garantindo que cada ponto Pareto relatado seja numericamente qualificado e reproduzível.
Modéstia nas Alegações: Os autores afirmam explicitamente que os resultados apoiam alegações computacionais e de implementação limitadas. Eles não alegam estabelecer segredo criptográfico, pois o modelo de Eve é baseado em um orçamento de tentativa limitado e não considera canais laterais ou interceptadores cooperativos. A verificação OptiSystem é apresentada como uma verificação limitada de nível de componente, não uma prova da segurança do sistema multiusuário completo.
Rigor Metodológico: O uso de validação design-held-out para os modelos substitutos e a separação explícita entre as camadas de triagem (substituto) e certificação (SSFM direto) garante que a natureza "orientada pela física" do framework evite a aceitação otimista de designs inseguros ou não confiáveis.

O trabalho estende estudos anteriores de referência única ao comparar múltiplas estruturas de código e produzir um pipeline auditável e generalizável para determinar limites operacionais seguros na presença de não linearidades de fibra e ameaças de interceptação definidas.

Mais como este