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


Безопасность асинхронных вычислений - часть 2


- протокол для n процессоров. Будем говорить, что P безопасно t-вычисляет функцию f в асинхронной модели для каждой коалиции B с не более, чем из t сбоящих процессоров, если выполняются следующие условия.

Условие завершения (условие полноты).

По всем входам все честные процессоры завершают протокол с вероятностью 1.

Условие безопасности. Существует ТР-противник A такой, что для каждого входа

 векторы t(
,A) и P(
,B,D) идентично распределены (эквивалентны).




- Начало -  - Назад -  - Вперед -