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

AUTOR(ES)

Daniele Nantes Sobrinho

DATA DE PUBLICAÇÃO

2009

RESUMO

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

ASSUNTO(S)

equational theory carteira eletrônica localidade dolev-yao model modelo de dolev-yao intruso passivo rewriting theory locality teoria equacional, protocolo criptográfico eletronic purse one-step deducibility passive intruder finite variante property teoria da reescrita deducibilidade em um passo matematica aplicada cryptographic protocol propriedade do variante finito

Documentos Relacionados

• Uma arquitetura de um coprocessador criptogrÃfico para o algoritmo Advanced Encryption Standard.
• Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
• O problema da imaginação nas duas edições da dedução transcendental das categorias
• Um algoritmo exato para o problema da mochila
• "Um biossusceptômetro supercondutor AC para quantificar o ferro hepático".