Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/13170
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorBenevides, Mario Roberto Folhadela-
dc.contributor.authorOliveira, Anna Carolina Carvalho Moreira de-
dc.date.accessioned2020-10-04T19:15:41Z-
dc.date.available2023-12-21T03:02:21Z-
dc.date.issued2018-03-
dc.identifier.urihttp://hdl.handle.net/11422/13170-
dc.description.abstractWe use the web for almost everything, including for actions that require high level of secrecy, for example, banking transactions. It make us think about the necessary security to keep this environment safe, that constantly suffers cyber attacks. For this reason, the study of cryptography is always in advance. Besides, It is important do not have vulnerability in security protocol too. In 1983, Dolev and Yao realize that in public key protocol, which is widely used even nowadays, a malicious user in a network can discover the contents of communications between other users simply by eavesdropping on the exchange of messages. Based on the model introduced in the Dolev and Yao’s article, we propose an epistemic logic extension to evaluate if a security protocol is safe. We transcripted this extension to strips language, where we can automatically test every possible intruder actions to discover contents of messages. And with this new notation we developed a model checkerpt_BR
dc.languageengpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectknowledgept_BR
dc.subjectsecuritypt_BR
dc.subjectlogicpt_BR
dc.subjectepistemicpt_BR
dc.subjectstripspt_BR
dc.subjectplanningpt_BR
dc.subjectcheckerpt_BR
dc.titleModel checking dolev-yao multi-agent epistemic logicpt_BR
dc.title.alternativeVerificador de modelos para lógica epistêmica Dolev-yao.pt_BR
dc.typeDissertaçãopt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/7279612728721005pt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/7844238000900289pt_BR
dc.contributor.advisorCo1Barbosa, Valmir Carneiro-
dc.contributor.advisorCo2Lopes, Bruno-
dc.contributor.referee1Barbosa, Valmir Carneiro-
dc.contributor.referee2Lopes, Bruno-
dc.description.resumoUtilizamos a internet para quase tudo, inclusive para coisas que exigem um alto nível de sigilo, como por exemplo transações bancárias. Isso nos faz pensar na segurança necessária para manter seguro esse ambiente, que constantemente sofre ataques. Por esse motivo o estudo da criptografia está em constante avanço. Mas além disso é importante também que os protocolos de segurança não contenha vulnerabilidade. Dolev e Yao em 1983 conseguiram perceber que no protocolo de chave pública, que é amplamente utilizado até hoje, é possível um usuário malicioso descobrir o conteúdo de uma comunicação entre outros usuário da rede sem quebra da chave criptográfica, somente através de trocas de mensagens. Baseado no modelo apresentado nesse artigo, nós desenvolvemos uma extensão da lógica epistêmica, que expressa conhecimento e crença, para avaliar se os protocolos são seguros. E em cima desse nosso novo sistema, nós o traduzimos para a linguagem de strips, onde podemos automaticamente testar todas as possíveis ações de um intruso para descobrir se será possível ele conseguir o conteúdo da mensagem. E com esse novo formato do nosso sistema, nós desenvolvemos um verificador de modelopt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenhariapt_BR
dc.publisher.programPrograma de Pós-Graduação em Engenharia de Sistemas e Computaçãopt_BR
dc.publisher.initialsUFRJpt_BR
dc.subject.cnpqCNPQ::ENGENHARIASpt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Engenharia de Sistemas e Computação

Files in This Item:
File Description SizeFormat 
AnnaCarolinaCarvalhoMoreiraDeOliveira.pdf494.2 kBAdobe PDFView/Open


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