Pantheon Repositorio Institucional
Recopila, preserva y difundi la producción académica digital en todas las áreas del conocimiento.
Comprende los activos del repositorio, además de tesis y disertaciones en la UFRJ, artículos científicos, libros electrónicos, capítulos de libros y trabajos presentados en eventos para los profesores, investigadores, personal administrativo y estudiantes de maestría y doctorado.
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/11422/13687| Especie: | Trabalho de conclusão de graduação |
| Título : | Implementação de um sistema para modelagem epistêmica de conhecimentos e validação de segurança em protocolos de comunicação |
| Autor(es)/Inventor(es): | Vasquez, Silvia Pimpão |
| Tutor: | Benevides, Mário Roberto Folhadela |
| Resumen: | Com o crescente uso da Internet, é cada vez maior o volume de informações trafegadas entre pessoas do mundo todo. Essas informações muitas das vezes são sigilosas e espera-se que os meios de comunicação utilizados online adotem as medidas necessárias para garantir a integridade e a privacidade das mesmas. Torna-se relevante neste cenário a existência de métodos que avaliem a segurança tanto de protocolos de comunicação já amplamente adotados quanto de protocolos ainda em fase de concepção. Neste trabalho, é apresentado um programa que permite a modelagem e a avaliação da segurança em um dado protocolo de comunicação de forma visual, através de uma interface disponibilizada online. São utilizadas metodologias provenientes da Lógica Epistêmica Multi-Agente que possibilitam a modelagem de conhecimentos e crenças de determinados agentes. Para avaliar a implementação do programa, foram modelados três protocolos de comunicação que utilizam algoritmo de chave pública e privada apresentados no trabalho de Dolev e Yao. Também foi realizada uma modelagem adicional baseada no famoso problema lógico das crianças com lama na testa. Os resultados obtidos nas modelagens realizadas conferem com o esperado, demonstrando que o programa cumpre com os objetivos pretendidos de forma correta. |
| Materia: | Lógica Epistêmica Multi-Agente Segurança Protocolos de comunicação |
| Materia CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS |
| Unidade de producción: | Instituto de Computação |
| Editor: | Universidade Federal do Rio de Janeiro |
| Fecha de publicación: | 15-dic-2020 |
| País de edición : | Brasil |
| Idioma de publicación: | por |
| Tipo de acceso : | Acesso Aberto |
| Aparece en las colecciones: | Ciência da Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| SPVasquez.pdf | 1.46 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.