Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/11605
Type: Dissertação
Title: A tableaux method for doley-yao multi-agent epistemic logic
Author(s)/Inventor(s): Fernandez, Luiz Cláudio Frederico
Advisor: Benevides, Mario Roberto Folhadela
Abstract: Dada a importância dos protocolos de segurança no nosso cotidiano, os esforços para desenvolver mecanismos e modelos para verificação de tais protocolos são sempre relevantes. Neste trabalho, nós propomos a Lógica Epistêmica Multi-Agente Dolev-Yao, uma extensão da Lógica Epistêmica Multi-Agente, destinada para a análise de protocolos de segurança e inspirada no modelo Dolev-Yao, o trabalho precursor sobre criptografia formal. Nós provamos a corretude e completude do nosso sistema, também demonstrando o seu uso. Em seguida, um método tableaux para essa lógica é apresentado, também incluindo sua corretude e completude. Por último, mostramos uma prova de terminação para o nosso método, além de alguns exemplos.
Abstract: Given the increasing importance of security protocols in our daily lives, the efforts to develop mechanisms and models for verification of such protocols are always relevant. In this work, we propose the Dolev-Yao Multi-Agent Epistemic Logic, which is an extension of Multi-Agent Epistemic Logic, aimed to analyze security protocols and inspired by Dolev-Yao model, the seminal work in formal cryptography. We prove the soundness and completeness of our system, also demonstrating its use. Then, a tableaux method for this logic is presented, including the proofs of soundness and completeness. Finally, we provide a termination argument for our method and show some examples.
Keywords: Engenharia de sistemas e computação
Tabela
Epistêmico
Lógica
Segurança
Subject CNPq: CNPQ::CIENCIA DA COMPUTACAO
Program: Programa de Pós-Graduação em Engenharia de Sistemas e Computação
Department : Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia
Publisher: Universidade Federal do Rio de Janeiro
Issue Date: Apr-2018
Publisher country: Brasil
Language: por
Right access: Acesso Aberto
Appears in Collections:Engenharia de Sistemas e Computação

Files in This Item:
File Description SizeFormat 
885780.pdf347,73 kBAdobe PDFView/Open


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