Implementação de um sistema para modelagem epistêmica de conhecimentos e validação de segurança em protocolos de comunicação

Vasquez, Silvia Pimpão

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/13687

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Benevides, Mário Roberto Folhadela	-
dc.contributor.author	Vasquez, Silvia Pimpão	-
dc.date.accessioned	2021-02-10T17:26:20Z	-
dc.date.available	2023-12-21T03:07:25Z	-
dc.date.issued	2020-12-15	-
dc.identifier.uri	http://hdl.handle.net/11422/13687	-
dc.language	por	pt_BR
dc.publisher	Universidade Federal do Rio de Janeiro	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Lógica Epistêmica Multi-Agente	pt_BR
dc.subject	Segurança	pt_BR
dc.subject	Protocolos de comunicação	pt_BR
dc.title	Implementação de um sistema para modelagem epistêmica de conhecimentos e validação de segurança em protocolos de comunicação	pt_BR
dc.type	Trabalho de conclusão de graduação	pt_BR
dc.contributor.advisorLattes	http://lattes.cnpq.br/7279612728721005	pt_BR
dc.contributor.authorLattes	http://lattes.cnpq.br/7015811924746261	pt_BR
dc.contributor.referee1	Rossetto, Silvana	-
dc.contributor.referee1Lattes	http://lattes.cnpq.br/0054098292730720	pt_BR
dc.contributor.referee2	Vieira, Bruno Lopes	-
dc.contributor.referee2Lattes	http://lattes.cnpq.br/7793315334001237	pt_BR
dc.description.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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Instituto de Computação	pt_BR
dc.publisher.initials	UFRJ	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::LOGICAS E SEMANTICA DE PROGRAMAS	pt_BR
dc.embargo.terms	aberto	pt_BR
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

Show simple item record Recommend this item View Statistics

Pantheon Institutional repository