Pantheon Institutional repository
Collect, preserve and disseminate digital academic production in all areas of knowledge.
Comprise the assets of the repository, in addition to theses and dissertations at UFRJ, scientific articles, electronic books, book chapters and papers presented at events for teachers, researchers, administrative staff and students of master's and doctoral degrees.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11422/13687| Type: | Trabalho de conclusão de graduação |
| Title: | Implementação de um sistema para modelagem epistêmica de conhecimentos e validação de segurança em protocolos de comunicação |
| Author(s)/Inventor(s): | Vasquez, Silvia Pimpão |
| Advisor: | Benevides, Mário Roberto Folhadela |
| Abstract: | 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. |
| Keywords: | Lógica Epistêmica Multi-Agente Segurança Protocolos de comunicação |
| Subject CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS |
| Production unit: | Instituto de Computação |
| Publisher: | Universidade Federal do Rio de Janeiro |
| Issue Date: | 15-Dec-2020 |
| Publisher country: | Brasil |
| Language: | por |
| Right access: | Acesso Aberto |
| Appears in Collections: | Ciência da Computação |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SPVasquez.pdf | 1.46 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.