Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Ayala-Rincón, Mauricio | - |
Autor(es): dc.creator | Nantes Sobrinho, Daniele | - |
Data de aceite: dc.date.accessioned | 2024-10-23T16:35:10Z | - |
Data de disponibilização: dc.date.available | 2024-10-23T16:35:10Z | - |
Data de envio: dc.date.issued | 2010-05-13 | - |
Data de envio: dc.date.issued | 2010-05-13 | - |
Data de envio: dc.date.issued | 2009 | - |
Data de envio: dc.date.issued | 2009 | - |
Fonte completa do material: dc.identifier | http://repositorio.unb.br/handle/10482/4605 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/912130 | - |
Descrição: dc.description | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. | - |
Descrição: dc.description | O ponto inicial deste trabalho é um caso de estudo de um protocolo de carteira eletrônica modelado por uma teoria equacional de um fragmento da aritmética, que inclui exponenciação. Foi estudado um procedimento de decisão para o problema da dedução do intruso, proposto recentemente por Bursuc, Comon-Lundh e Delaune. O intruso tem as mesmas capacidades algébricas de dedução que a teoria equacional que modela o protocolo. Associa-se a essa teoria equacional um sistema de reescrita equivalente, que é convergente módulo associatividade e comutatividade. Formula-se a capacidade de dedução do intruso através de um sistema de regras de inferência. Além de mostrar que o problema em questão pode ser decidido em tempo limitado polinomialmente, será mostrado que esse sistema de dedução tem uma propriedade de localidade e que a deducibilidade em um passo é decidida em tempo limitado polinomialmente ______________________________________________________________________________________ ABSTRACT | - |
Descrição: dc.description | The starting point of this work is a case study of an electronic purse protocol modeled by an equational theory of a fragment of arithmetic including exponentiation. A decision procedure for the intruder deduction problem was studied, which was proposed recently by Bursuc, Comon-Lundh and Delaune. The intruder algebraic deduction capabilities are the same as the ones of the equational theory that model the protocol. This equational theory is associated with an equivalent term rewriting system which is convergent modulo associativity and commutativity. The intruder deduction capabilities are formalized by a system of inference rules. In order to show that this problem can be decided in polynomial time, it is proved that this deduction system has a locality property and that the one-step deducibility property is decidable in polynomial time. | - |
Descrição: dc.description | Instituto de Ciências Exatas (IE) | - |
Descrição: dc.description | Departamento de Matemática (IE MAT) | - |
Descrição: dc.description | Programa de Pós-Graduação em Matemática | - |
Formato: dc.format | application/pdf | - |
Direitos: dc.rights | Acesso Aberto | - |
Palavras-chave: dc.subject | Redes de computação - protocolos | - |
Palavras-chave: dc.subject | Criptografia de dados (Computação) | - |
Palavras-chave: dc.subject | Computadores - medidas de segurança | - |
Palavras-chave: dc.subject | Matemática aplicada | - |
Título: dc.title | O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional – UNB |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: