Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas.

Submitted by repositorio repositorio (repositorio@unifei.edu.br) on 2018-05-15T13:41:44Z No. of bitstreams: 1 dissertacao_2018057.pdf: 2792854 bytes, checksum: 3f09df8b881ba5fde46ad296c795f74a (MD5) === Made available in DSpace on 2018-05-15T13:41:44Z (GMT). No. of bitstreams: 1 dissertacao_2018057....

Full description

Bibliographic Details
Main Author: SILVA, Milton Rafael da
Language:Portuguese
Published: 2018
Online Access:http://repositorio.unifei.edu.br/xmlui/handle/123456789/1249
id ndltd-IBICT-oai-almateia.unifei.edu.br-123456789-1249
record_format oai_dc
spelling ndltd-IBICT-oai-almateia.unifei.edu.br-123456789-12492019-01-22T03:52:45Z Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas. SILVA, Milton Rafael da Submitted by repositorio repositorio (repositorio@unifei.edu.br) on 2018-05-15T13:41:44Z No. of bitstreams: 1 dissertacao_2018057.pdf: 2792854 bytes, checksum: 3f09df8b881ba5fde46ad296c795f74a (MD5) Made available in DSpace on 2018-05-15T13:41:44Z (GMT). No. of bitstreams: 1 dissertacao_2018057.pdf: 2792854 bytes, checksum: 3f09df8b881ba5fde46ad296c795f74a (MD5) Previous issue date: 2018-05-04 No padrão IEC 61850, define-se a transmissão dos pacotes de mensagens Sampled Values (SV) no processamento da comunicação, que são valores amostrados de medidas elétricas, e estas mensagens são realmente importantes e críticas na automação de sistemas de potência. Com relação à análise de segurança das redes de comunicação, uma ferramenta muito útil são as Redes de Petri Coloridas (CPNs), porque elas modelam processos assíncronos e concorrentes, o que caracteriza o funcionamento das redes de comunicação, além de permitir a análise de atrasos em sistemas temporizados. Assim, com base neste contexto e sabendo-se que o valor correto das medidas dos valores amostrados (Sampled Values) é realmente crítico na transmissão de mensagens no contexto IEC 61850, para que atue corretamente a automação dos sistemas elétricos de potência, modela-se em três cenários IEC 61850 um ataque cibernético usando as CPNs, que visa modificar os dados a serem transmitidos antes de serem empacotados como uma mensagem SV, o que é realmente crítico para a operação do sistema. Além disso, modela-se uma classificação para os pacotes de mensagens enviados, para que seja possível determinar quais pacotes foram atacados pelo ataque cibernético, ou quais pacotes não foram corretamente enviados ao seu destino final. Os resultados correspondem ao ataque cibernético modelado, mostrando a eficácia do método de modelagem proposto. Por fim, são sugeridas algumas técnicas de mitigação deste tipo de ataque cibernético. 2018-05-04 2018-05-15T13:41:44Z 2018-05-15T13:41:44Z info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis SILVA, Milton Rafael da. Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas. 2018. 84 f. Dissertação (Mestrado em Engenharia Elétrica) – Universidade Federal de Itajubá, Itajubá, 2018. http://repositorio.unifei.edu.br/xmlui/handle/123456789/1249 por info:eu-repo/semantics/openAccess reponame:Repositório Institucional da UNIFEI instname:Universidade Federal de Itajubá instacron:UNIFEI
collection NDLTD
language Portuguese
sources NDLTD
description Submitted by repositorio repositorio (repositorio@unifei.edu.br) on 2018-05-15T13:41:44Z No. of bitstreams: 1 dissertacao_2018057.pdf: 2792854 bytes, checksum: 3f09df8b881ba5fde46ad296c795f74a (MD5) === Made available in DSpace on 2018-05-15T13:41:44Z (GMT). No. of bitstreams: 1 dissertacao_2018057.pdf: 2792854 bytes, checksum: 3f09df8b881ba5fde46ad296c795f74a (MD5) Previous issue date: 2018-05-04 === No padrão IEC 61850, define-se a transmissão dos pacotes de mensagens Sampled Values (SV) no processamento da comunicação, que são valores amostrados de medidas elétricas, e estas mensagens são realmente importantes e críticas na automação de sistemas de potência. Com relação à análise de segurança das redes de comunicação, uma ferramenta muito útil são as Redes de Petri Coloridas (CPNs), porque elas modelam processos assíncronos e concorrentes, o que caracteriza o funcionamento das redes de comunicação, além de permitir a análise de atrasos em sistemas temporizados. Assim, com base neste contexto e sabendo-se que o valor correto das medidas dos valores amostrados (Sampled Values) é realmente crítico na transmissão de mensagens no contexto IEC 61850, para que atue corretamente a automação dos sistemas elétricos de potência, modela-se em três cenários IEC 61850 um ataque cibernético usando as CPNs, que visa modificar os dados a serem transmitidos antes de serem empacotados como uma mensagem SV, o que é realmente crítico para a operação do sistema. Além disso, modela-se uma classificação para os pacotes de mensagens enviados, para que seja possível determinar quais pacotes foram atacados pelo ataque cibernético, ou quais pacotes não foram corretamente enviados ao seu destino final. Os resultados correspondem ao ataque cibernético modelado, mostrando a eficácia do método de modelagem proposto. Por fim, são sugeridas algumas técnicas de mitigação deste tipo de ataque cibernético.
author SILVA, Milton Rafael da
spellingShingle SILVA, Milton Rafael da
Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas.
author_facet SILVA, Milton Rafael da
author_sort SILVA, Milton Rafael da
title Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas.
title_short Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas.
title_full Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas.
title_fullStr Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas.
title_full_unstemmed Modelagem de um Ataque Cibernético em um ambiente IEC 61850 usando Redes de Petri Coloridas.
title_sort modelagem de um ataque cibernético em um ambiente iec 61850 usando redes de petri coloridas.
publishDate 2018
url http://repositorio.unifei.edu.br/xmlui/handle/123456789/1249
work_keys_str_mv AT silvamiltonrafaelda modelagemdeumataqueciberneticoemumambienteiec61850usandoredesdepetricoloridas
_version_ 1718966352243326976