Pantheon Repositório Institucional da UFRJ
Coleta, preserva e divulga a produção acadêmica digital em todas as áreas do conhecimento.
São os ativos do repositório, além de teses e dissertações da UFRJ, artigos científicos, livros eletrônicos, capítulos de livros e trabalhos apresentados em eventos por professores, pesquisadores, funcionários administrativos e alunos de mestrado e doutorado.
Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/11422/13687| Tipo: | 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 |
| Orientador: | Benevides, Mário Roberto Folhadela |
| Resumo: | 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. |
| Palavras-chave: | Lógica Epistêmica Multi-Agente Segurança Protocolos de comunicação |
| Assunto CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS |
| Unidade produtora: | Instituto de Computação |
| Editora: | Universidade Federal do Rio de Janeiro |
| Data de publicação: | 15-Dez-2020 |
| País de publicação: | Brasil |
| Idioma da publicação: | por |
| Tipo de acesso: | Acesso Aberto |
| Aparece nas coleções: | Ciência da Computação |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| SPVasquez.pdf | 1.46 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.