Modelo De Dolev Yao
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. 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
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 capacidade
Publicado em: 2009