Теория и практика защиты программ



         

Схема АПРС - часть 2


Пока звезда не найдена, всякий раз, когда получено распространяемое сообщение (OK,k,l), проверяет, формируют ли (Cj,Dj) звезду в графе OKi.

6. После нахождения звезды (Ci,Di) и если iÏDi скорректировать полином gi(·), основываясь на сообщении о верификации, полученном от процессоров из Di и с использованием кодов c исправлением ошибок (процедуры СКОП, описанной ниже). А именно, пусть Vi={(j,vi,j)½jÎDi}, тогда установить (t,Vi)СКОП=(gi(·)).

7. Как только gi(·) локально скорректирован, выдает g

(0).

Протокол АВсПр

Вычисления для процессора Pi (по входу i и с параметрами RÍ{P1,...,Pn}).

7. Посылает ai процессорам из R.

9.     Пусть Si={(j,aj)½aj получен из Pj. Если PiÎR, заканчивает без выхода. В противном случае установить (t,Si)СКОП=zi(·) и выдает zi(0).




Содержание  Назад  Вперед