Modelagem de um Ataque Cibernético em Redes de Petri Coloridas

Alguns parâmetros de desempenho da norma IEC 61850 relacionados ao tempo de processamento da comunicação nos sistemas elétricos de potência são definidos, e esses parâmetros são realmente importantes e críticos na automação destes sistemas. Relacionada com a análise de segurança das redes de comunicação, uma ferramenta utilizada é a Rede de Petri Colorida (CPN), porque ela modela processos simultâneos e assíncronos, e é útil para analisar atrasos em sistemas temporizados. Assim, com base neste contexto e sabendo que o tempo é realmente crítico na transmissão de mensagens no contexto da norma IEC 61850, modela-se em um ataque cibernético utilizando CPNs que visa modificar e retardar a transmissão das mensagens, o que é realmente crítico para o funcionamento do sistema. Os resultados corresponderam ao ataque cibernético modelado, mostrando a eficácia do método de modelagem proposto.