O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Autor(a) principal: | |
---|---|
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 |