O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
Saved in:
| Main Author: | |
|---|---|
| Publication Date: | 2013 |
| Format: | Doctoral thesis |
| Language: | por |
| Source: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/14781 |
Summary: | Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2013. |
Similar Items: O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
- O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
- Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata
- DAP (Dynamic Authorization Protocol) : uma abordagem segura out-of-band para e-bank com um segundo fator de autenticação visual
- Novas construções de criptossistemas seguros contra ataques adaptativos de texto cifrado escolhido baseadas em variantes fracas da hipótese de Diffie-Hellman e nas hipóteses de Mceliece
- Boas práticas no ciclo de vida para melhoria da segurança de software para dispositivos médicos
- Protocolos criptográficos de computação distribuída com segurança universalmente composta