O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
שמור ב:
| מחבר ראשי: | |
|---|---|
| Publication Date: | 2009 |
| פורמט: | Master thesis |
| שפה: | por |
| Source: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/4605 |
סיכום: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. |
| סיכום: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. |
|---|