O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC - Nantes Sobrinho, Daniele (2009)