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