BR112015014946A2 - dispositivo de computação, compilador, método eletrônico para computar uma função de dados e programa de computador - Google Patents

Abstract

resumo dispositivo de computação, compilador, método eletrônico para computar uma função de dados e programa de computador é apresentado um dispositivo de computação configurado para computar uma função de dados (f) em um valor de entrada de função (w),em que o dispositivo compreende um armazenamento eletrônico que armazena uma primeira rede de tabelas configurada para a função de dados (f), em que o dispositivo de computação compreende um processador eletrônico acoplado ao armazenamento e configurado para obter múltiplas primeiras entradas de tabela para a primeira rede de tabelas, em que as múltiplas primeiras entradas de tabela (x=e(w, s)) incluem o valor de entrada de função (w) e em que, para computar a função de dados (f) mediante a aplicação da primeira rede de tabelas às múltiplas primeiras entradas de tabela (x) para produzir múltiplas primeiras saídas de tabela (u=e(f(w), g(w,s)), as múltiplas primeiras saídas de tabela (u) incluem um valor de saída de função (f(w)), em que o valor de saída de função (f(w)) corresponde ao resultado da aplicação da função de dados (f) ao valor de entrada de função (w),em que o armazenamento eletrônico armazena, adicionalmente, uma segunda rede de tabelas configurada para cooperar com a primeira rede de tabelas para neutralizar modificações feitas na primeira rede de tabelas, em que o processador eletrônico é configurado para obter múltiplas segundas entradas de tabela para a segunda rede de tabelas, em que as segundas entradas de tabela incluem as múltiplas primeiras saídas de tabela (u) e pelo menos uma das múltiplas primeiras entradas de tabela (w; s) e em que, para aplicar a segunda rede de tabelas às múltiplas segundas entradas de tabela, a segunda rede de tabelas é configurada para verificar a existência de pelo menos uma (f(w) ou g(w,s)) específica dentre as múltiplas primeiras saídas de tabela, se uma primeira rede de tabelas não modificada pudesse obter a específica dentre as múltiplas primeiras saídas de tabela (f(w); g(w,s)) a partir da determinada pelo menos uma dentre as múltiplas primeiras entradas de tabela (w; s),a segunda rede de tabelas produz as segundas saídas de tabela (v= e(w’, s’)) incluindo uma saída de função protegida (w’),em que a saída de função protegida será igual à saída de função (f(w)) se a verificação for bem-sucedida, e a saída de função protegida (w’) será desigual à saída de função se a verificação não for bem-sucedida. 1/1