Verificação de protocolos de e-voting - Reis, Maria de Fátima Rodrigues (2009)