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....
Main Author: | |
---|---|
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 |