Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/13687
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorBenevides, Mário Roberto Folhadela-
dc.contributor.authorVasquez, Silvia Pimpão-
dc.date.accessioned2021-02-10T17:26:20Z-
dc.date.available2021-02-12T03:00:07Z-
dc.date.issued2020-12-15-
dc.identifier.urihttp://hdl.handle.net/11422/13687-
dc.languageporpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectLógica Epistêmica Multi-Agentept_BR
dc.subjectSegurançapt_BR
dc.subjectProtocolos de comunicaçãopt_BR
dc.titleImplementação de um sistema para modelagem epistêmica de conhecimentos e validação de segurança em protocolos de comunicaçãopt_BR
dc.typeTrabalho de conclusão de graduaçãopt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/7279612728721005pt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/7015811924746261pt_BR
dc.contributor.referee1Rossetto, Silvana-
dc.contributor.referee1Latteshttp://lattes.cnpq.br/0054098292730720pt_BR
dc.contributor.referee2Vieira, Bruno Lopes-
dc.contributor.referee2Latteshttp://lattes.cnpq.br/7793315334001237pt_BR
dc.description.resumoCom 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto de Computaçãopt_BR
dc.publisher.initialsUFRJpt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMASpt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Ciência da Computação

Files in This Item:
File Description SizeFormat 
SPVasquez.pdf1.46 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.