Protocolos com segurança demonstrável baseados em primitivas criptográficas de chave pública - Dowsley, Rafael Baião (2010)