O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC

Detalhes bibliográficos
Autor(a) principal: Nantes Sobrinho, Daniele
Data de Publicação: 2009
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: http://repositorio.unb.br/handle/10482/4605
Resumo: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009.
id UNB_7fdcf5a47df0a8a798b23298d5c3cfa9
oai_identifier_str oai:repositorio.unb.br:10482/4605
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo ACRedes de computação - protocolosCriptografia de dados (Computação)Computadores - medidas de segurançaMatemática aplicadaDissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009.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 ______________________________________________________________________________________ ABSTRACTThe 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.Instituto de Ciências Exatas (IE)Departamento de Matemática (IE MAT)Programa de Pós-Graduação em MatemáticaAyala-Rincón, MauricioNantes Sobrinho, Daniele2010-05-13T20:19:47Z2010-05-13T20:19:47Z20092009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfNANTES SOBRINHO, Daniele. O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC. 2009. 94 f. Dissertação (Mestrado em Matemática)-Universidade de Brasília, Brasília, 2009.http://repositorio.unb.br/handle/10482/4605info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2024-03-01T16:27:48Zoai:repositorio.unb.br:10482/4605Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2024-03-01T16:27:48Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
title O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
spellingShingle O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Nantes Sobrinho, Daniele
Redes de computação - protocolos
Criptografia de dados (Computação)
Computadores - medidas de segurança
Matemática aplicada
title_short O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
title_full O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
title_fullStr O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
title_full_unstemmed O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
title_sort O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
author Nantes Sobrinho, Daniele
author_facet Nantes Sobrinho, Daniele
author_role author
dc.contributor.none.fl_str_mv Ayala-Rincón, Mauricio
dc.contributor.author.fl_str_mv Nantes Sobrinho, Daniele
dc.subject.por.fl_str_mv Redes de computação - protocolos
Criptografia de dados (Computação)
Computadores - medidas de segurança
Matemática aplicada
topic Redes de computação - protocolos
Criptografia de dados (Computação)
Computadores - medidas de segurança
Matemática aplicada
description Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009.
publishDate 2009
dc.date.none.fl_str_mv 2009
2009
2010-05-13T20:19:47Z
2010-05-13T20:19:47Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv NANTES SOBRINHO, Daniele. O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC. 2009. 94 f. Dissertação (Mestrado em Matemática)-Universidade de Brasília, Brasília, 2009.
http://repositorio.unb.br/handle/10482/4605
identifier_str_mv NANTES SOBRINHO, Daniele. O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC. 2009. 94 f. Dissertação (Mestrado em Matemática)-Universidade de Brasília, Brasília, 2009.
url http://repositorio.unb.br/handle/10482/4605
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1810580901952749568

Registros relacionados