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

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Nantes Sobrinho, Daniele
প্রকাশনার তারিখ: 2009
বিন্যাস: Master thesis
ভাষা: por
সম্পদ: 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.