Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais

Detalhes bibliográficos
Autor(a) principal: Morais, Paulo Henrique de
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/160736
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015.
id UFSC_8837b9abc65df9f34e6a13254a5a51ff
oai_identifier_str oai:repositorio.ufsc.br:123456789/160736
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuaisComputaçãoSistemas operacionais distribuídos (Computadores)Processamento de sinaisSimulação (Computadores digitais)Computadores digitais -ConfiabilidadeDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015.Atualmente é quase impossível uma pessoa não utilizar direta ou indiretamente um sistema computacional. Ao realizar uma operação bancária ou até mesmo ao fazer compras em uma loja, nós somos auxiliados por sistemas computacionais. Em contrapartida, surgem novos ataques para comprometer o funcionamento correto dos sistemas utilizados. Várias técnicas são utilizadas para que os sistemas funcionem conforme sua especificação, entre elas,destacam-se sistemas tolerantes a faltas bizantinas/intrusões (BFT) através de replicação de máquina de estados (RME). Nessa abordagem, é proposta uma arquitetura de sistema tolerante a intrusões que garante o seu funcionamento correto, mesmo na presença de réplicas faltosas.Este trabalho propõe um algoritmo que une replicação de máquina de estados e sistema de detecção de intrusões (IDS) para tolerar faltas bizantinas. A tecnologia de virtualização é utilizada no algoritmo proposto para replicar o serviço e também para isolar o IDS da aplicação monitorada. Dessa forma, é proposto um detector de intrusões como um componente confiável do sistema BFT. As principais contribuições são: (1) propor um modelo unificado, o qual utiliza replicação de máquina de estados e IDS em conjunto, e faz uso dos recursos da tecnologia de virtualização, (2) detector de intrusões como componente confiável do sistema e (3) elaborar um algoritmo BFT baseado no modelo proposto. Através desta abordagem foi possível reduzir o número de réplicas do sistema de 3f + 1 para 2f + 1 e reduzir o número de passos do protocolo do algoritmo tradicional BFT de Castro e Liskov de 5 para 3 no caso normal de operação e sem precisar da participação do cliente no protocolo.<br>Abstract : Currently, it is almost impossible for a person not to use a computing system, in a direct or indirect way. When we are using a banking machine, or shopping in a store, we need to use a computing system. On the other hand, there are new attacks to damage the correct workingof the systems. There are several techniques to help the systems to work correctly according to their specification; among them, the Byzantine/intrusions fault tolerant systems (BFT) through the state machine replication (SMR) are important ones. In this perspective, it proposes a system architecture tolerant to intrusions that guarantees its proper functioning, even if there are faulty replicas.This research proposes an algorithm which presents a unified approachby using state machine replication and intrusion detection system in order to tolerate Byzantine faults. The virtualization technology is usedon the proposed algorithm to replicate the service and also to isolate the IDS of the monitored application. Therefore, we propose an intrusion detector as a reliable component of the BFT system. The main contributions are: (1) to propose a unified model, which uses state machine replication together with IDS, using the virtualization technology resources; (2) intrusion detector as a reliable component of the system; and (3) to make a BFT algorithm based on the proposed model. This approach made it possible to decrease the number of the system replicas from the 3f + 1 to 2f + 1, and to reduce the number of steps of the protocol of the BFT traditional algorithm from Castro and Liskov from 5 to 3 in a normal case of operation without the participation of the client in the protocol.Rech, Luciana de OliveiraUniversidade Federal de Santa CatarinaMorais, Paulo Henrique de2016-04-19T04:15:05Z2016-04-19T04:15:05Z2015info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis116 p.| il., grafs., tabs.application/pdf338166https://repositorio.ufsc.br/xmlui/handle/123456789/160736porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2016-04-19T04:15:05Zoai:repositorio.ufsc.br:123456789/160736Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732016-04-19T04:15:05Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais
title Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais
spellingShingle Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais
Morais, Paulo Henrique de
Computação
Sistemas operacionais distribuídos (Computadores)
Processamento de sinais
Simulação (Computadores digitais)
Computadores digitais -
Confiabilidade
title_short Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais
title_full Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais
title_fullStr Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais
title_full_unstemmed Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais
title_sort Tolerância a faltas bizantinas usando técnicas de introspecção de máquinas virtuais
author Morais, Paulo Henrique de
author_facet Morais, Paulo Henrique de
author_role author
dc.contributor.none.fl_str_mv Rech, Luciana de Oliveira
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Morais, Paulo Henrique de
dc.subject.por.fl_str_mv Computação
Sistemas operacionais distribuídos (Computadores)
Processamento de sinais
Simulação (Computadores digitais)
Computadores digitais -
Confiabilidade
topic Computação
Sistemas operacionais distribuídos (Computadores)
Processamento de sinais
Simulação (Computadores digitais)
Computadores digitais -
Confiabilidade
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015.
publishDate 2015
dc.date.none.fl_str_mv 2015
2016-04-19T04:15:05Z
2016-04-19T04:15:05Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 338166
https://repositorio.ufsc.br/xmlui/handle/123456789/160736
identifier_str_mv 338166
url https://repositorio.ufsc.br/xmlui/handle/123456789/160736
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 116 p.| il., grafs., tabs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652020385579009