A PUF-Based Security Framework for Fault and Intrusion Detection

Resumo Técnico: Uma Estrutura de Segurança Baseada em PUF para Detecção de Falhas e Intrusões

Declaração do Problema
Sistemas de Controle Industrial (ICS), como estações de tratamento de água e usinas de energia, dependem fortemente do feedback de sensores para manter processos críticos de segurança dentro dos limites operacionais. Ataques na camada de medição, frequentemente originados de vulnerabilidades na cadeia de suprimentos, como Trojans de hardware incorporados, podem comprometer as leituras dos sensores. Quando os controladores agem sobre esses pontos de dados falsificados ou defeituosos, eles podem conduzir processos industriais para estados perigosos. Além disso, falhas não maliciosas causadas por interferência eletromagnética, vibração, corrosão ou deriva térmica podem produzir efeitos desestabilizadores semelhantes. Ferramentas tradicionais de segurança de nível de rede, como firewalls, carecem de visibilidade sobre essas anomalias na camada de medição. Adicionalmente, métodos de autenticação convencionais que dependem de chaves criptográficas armazenadas são cada vez mais vulneráveis a ataques físicos e acessos não autorizados.

Metodologia
Esta pesquisa propõe uma estrutura de raiz de confiança de hardware que incorpora uma Função Não Clonável Física (PUF) na camada de medição para autenticar as leituras dos sensores. O sistema integra-se com arquiteturas padrão de ICS sem exigir mudanças estruturais, utilizando o protocolo TCP-MODBUS para comunicar entre a PUF e o Controlador Lógico Programável (PLC).

A metodologia consiste em três componentes principais:

1. Arquitetura PUF: A PUF aproveita as variações inerentes de fabricação nas transições de inversores CMOS como uma fonte de entropia. Ela gera um fluxo de bits de resposta varrendo as regiões de transição de um arranjo de inversores para extrair a Distorção Harmônica Total (THD). Este valor de THD é comparado contra um valor médio pré-computado armazenado em uma Tabela de Busca (LUT) indexada por um desafio. Para aumentar a segurança, um desafio semente um Gerador de Números Pseudoaleatórios (PRNG) para determinar dinamicamente regiões de varredura distintas, produzindo um vetor de resposta de 18 bits a partir de um espaço de desafio de 8 bits.
2. Módulo de Verificação: Este módulo realiza dois tipos de verificações:
   • Verificação PUF: Valida a tensão atual do sensor contra uma linha de base aprendida. Opera dentro de uma janela de tolerância (±2 unidades) em torno de limiares predefinidos de nível de tanque (0 a 300 em incrementos de 20). Se uma leitura cai dentro de uma janela, o módulo verifica se há um par nível de tanque–resposta PUF correspondente na memória.
   • Verificação Temporal: Este componente rastreia a diferença entre as leituras máxima e mínima de uma fila. Ele compara a diferença máxima atual contra um valor registrado durante a fase de registro (enrollment). Se a diferença exceder o limiar registrado, a autenticação temporal falha.
3. Fluxo de Trabalho: O sistema opera em duas fases. Durante a Fase de Registro (Enrollment), o sistema registra pares válidos de nível de tanque e resposta PUF dentro das janelas de tolerância. Durante a Fase de Autenticação, o sistema realiza a validação em tempo real. Uma autenticação bem-sucedida (ambas as verificações PUF e temporal passam) resulta em um código de resposta "3". Uma falha em qualquer verificação resulta em um código "1", sinalizando uma falha ou ataque.

Configuração Experimental e Resultados
A estrutura foi prototipada em um banco de testes de tanque de água Hardware-in-the-Loop (HIL) usando um emulador de PUF baseado em Simulink, um simulador Factory IO 3D e um OpenPLC rodando em um Raspberry Pi 4.

• Operação Normal: Durante um período de 5,18 horas de operação normal (286.281 amostras), o sistema alcançou 99,97% de precisão. Houve 72 instâncias onde o sistema sinalizou um desvio na linha de base de tensão-nível (resposta "2"), embora as tendências temporais tenham permanecido corretas. Isso resultou em uma taxa de falso-positivo de 0,025% para a autenticação de assinatura de tensão e zero falsos positivos para a autenticação temporal.
• Detecção de Falha de Sensor: O sistema detectou e sinalizou com sucesso:
  • Falhas de Pico (Spike Faults): Sinais de impulso de alta amplitude fizeram a PUF transitar de um estado normal ("3") para um estado de alerta ("1").
  • Falhas de Sobreposição (Hard-Over Faults): Tanto os deslocamentos abruptos positivos (saturação) quanto os negativos (colapso de zero) foram detectados, com a PUF identificando corretamente as falhas de autenticação temporal.
• Detecção de Hardware Trojan: Em um cenário onde um Hardware Trojan permaneceu dormente por uma hora antes de subtrair um valor constante das leituras do sensor, a PUF detectou as falhas de autenticação temporal resultantes. O sistema sinalizou todos os três períodos de ativação do Trojan, impedindo que o controlador mantivesse o nível de água dentro da banda pretendida e evitando um possível transbordamento.

Principais Contribuições
O artigo delineia três contribuições primárias:

1. Uma estrutura de autenticação de sensor baseada em PUF e consciente do processo que combina impressões digitais de tensão analógica com autenticação temporal para detectar desvios graduais e abruptos.
2. Uma arquitetura de banco de testes Hardware-in-the-loop que operacionaliza a autenticação baseada em PUF dentro de um sistema de controle de tanque de água.
3. Uma avaliação empírica demonstrando alta precisão de detecção através de falhas de sensores e cenários adversariais, incluindo Hardware Trojans.

Significância
Os autores afirmam que esta pesquisa fornece uma abordagem consciente do processo e independente de fornecedor, capaz de integrar-se com plantas legadas. Ao incorporar a segurança no nível do hardware, a estrutura oferece um mecanismo para detectar a degradação do sinal do sensor e ataques sofisticados da cadeia de suprimentos que ferramentas tradicionais de monitoramento de rede não conseguem visualizar. O sistema serve como uma "âncora verdadeira" na camada de sensoriamento, aumentando a proteção contra manipulações maliciosas e falhas ambientais em ambientes de missão crítica.

Trabalhos Futuros
O artigo sugere esforços futuros para migrar o modelo de PUF virtual para um Field Programmable Gate Array (FPGA) para validação de sinal em tempo real em cada ciclo do PLC. Adicionalmente, os autores propõem o benchmarking da abordagem em diferentes domínios de ICS, testando a precisão em ambientes de múltiplos sensores com controladores interdependentes, e integrando a PUF com um ambiente de execução confiável para criar uma gaiola de computação para validar as respostas dos sensores.