Detalhes bibliográficos
Ano de defesa: |
2014 |
Autor(a) principal: |
Batista, Bruno Lopes Alcantara |
Orientador(a): |
Não Informado pela instituição |
Banca de defesa: |
Não Informado pela instituição |
Tipo de documento: |
Dissertação
|
Tipo de acesso: |
Acesso aberto |
Idioma: |
por |
Instituição de defesa: |
Universidade Estadual do Ceará
|
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: |
|
Link de acesso: |
https://siduece.uece.br/siduece/trabalhoAcademicoPublico.jsf?id=84309
|
Resumo: |
O protocolo OpenFlow é uma proposta da iniciativa Clean Slate com o objetivo de definir uma nova arquitetura para Internet onde os dispositivos de de rede sejam simples e que o gerenciamento do plano de controle seja executado em um controlador centralizado. A simplicidade e o caráter centralizados dessa arquitetura a torna confiável e barata. Contudo o protocolo não fornece mecanismos para detecção de conflitos nos fluxos definidos, permitindo que fluxos não alcançáveis possam ser configurados nos elementos de rede, o que pode significar em um comportamento não esperado da rede OpenFlow ou na utilização de recursos dos elementos de rede. Neste trabalho é proposta uma abordagem para detecção de conflitos utilizando-se lógica de primeira ordem para definir possíveis antagonismos e empregar um mecanismo de inferência para detectar fluxos conflitantes antes do controlador OpenFlow instância-los nos swicthes de uma rede OpenFlow. Palavras-chave: OpenFlow. Detecção de Conflitos. Prolog. Agente Lógico. HermesNet. |