publicações selecionadas Verificação Oportunista de Assinaturas Digitais para Programas e Bibliotecas em Sistemas Operacionais Paginados