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


Конфиденциальное вычисление функции - часть 2


Введем понятие моделирующего устройства M. Здесь можно проследить некоторые аналогии с моделирующей машиной в интерактивных системах доказательств с нулевым разглашением (см., например, [Ка14,КУ4]).

Пусть рQПрот

- распределение вероятностей над множеством историй (трафика Т и случайных параметров) сбоящих процессоров во время выполнения протокола Р.

Моделирующее устройство, взаимодействующее со сбоящими процессорами, осуществляет свое функционирование в рамках идеального сценария. Моделирующее устройство М создает распределение вероятностей параметров взаимодействия иQПрот

между М и сбоящим процессорами.

Протокол P конфиденциально вычисляет функцию f(x), если выполняются следующие условия:

Условие корректности. Для всех несбоящих процессоров Pi

функция

f(x1,...,xn)=

=g1((w1,...,wn),(

,...,
))
...
gh((w1,...,wn),(
,...,
))

gh+1((w1,...,wn),(
,...,
))
...
gd((w1,...,wn), (
,...,
))=

=((y1,...,yn),(

,...,
))

вычисляется с вероятностью ошибки близкой к 0.

Условие конфиденциальности.

Для заданной тройки (x,r,w)Î(XnÄRnÄW) распределения рQПрот

и иQПрот

являются статистически не различимыми.

Функция f, удовлетворяющая условиям предыдущего определения называется конфиденциально вычислимой.




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



Книжный магазин