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. |
